Resolution-Refutation/blocks.txt at master · SamriddhiJain/Resolution-Refutation · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
<?xml version="1.0"?>
<And>
    <Atom>
        <Rel>On</Rel>
        <Ind>A</Ind>
        <Ind>B</Ind>
    </Atom>
    <Atom>
        <Rel>On</Rel>
        <Ind>B</Ind>
        <Ind>C</Ind>
    </Atom>
    <Atom>
        <Not>
            <Rel>M</Rel>
            <Ind>A</Ind>
        </Not>
    </Atom>
    <Atom>
        <Rel>M</Rel>
        <Ind>C</Ind>
    </Atom>
    <Or>
        <Atom>
            <Not>
                <Rel>On</Rel>
                <Var>x</Var>
                <Var>y</Var>
            </Not>
        </Atom>
        <Atom>
           <Not>
               <Rel>M</Rel>
               <Var>y</Var>
           </Not>
         </Atom>
        <Atom>
            <Rel>M</Rel>
            <Var>x</Var>
        </Atom>
    </Or>
</And>