The lion is nice. The lion needs the squirrel. The mouse is red. The mouse needs the lion. The mouse needs the squirrel. The mouse visits the lion. The squirrel is big. The squirrel is blue. The squirrel needs the lion. The squirrel needs the mouse. If something chases the squirrel and the squirrel needs the lion then the lion visits the squirrel. If something needs the squirrel and it is blue then the squirrel needs the lion. If something is nice and it needs the lion then the lion is big. If something needs the mouse and it is blue then it needs the squirrel. If something needs the lion then the lion chases the squirrel. If something is nice then it visits the lion. If something is big then it needs the lion. If something is red and it chases the lion then it needs the mouse.
The lion is nice.
("lion" "is" "nice" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If something chases the squirrel and the squirrel needs the lion then the lion visits the squirrel.
((("something" "chases" "squirrel" "+") ("squirrel" "needs" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If something needs the squirrel and it is blue then the squirrel needs the lion.
((("something" "needs" "squirrel" "+") ("something" "is" "blue" "+")) -> ("squirrel" "needs" "lion" "+"))
If something is nice and it needs the lion then the lion is big.
((("something" "is" "nice" "+") ("something" "needs" "lion" "+")) -> ("lion" "is" "big" "+"))
If something needs the mouse and it is blue then it needs the squirrel.
((("something" "needs" "mouse" "+") ("something" "is" "blue" "+")) -> ("something" "needs" "squirrel" "+"))
If something needs the lion then the lion chases the squirrel.
((("something" "needs" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
If something is nice then it visits the lion.
((("something" "is" "nice" "+")) -> ("something" "visits" "lion" "+"))
If something is big then it needs the lion.
((("something" "is" "big" "+")) -> ("something" "needs" "lion" "+"))
If something is red and it chases the lion then it needs the mouse.
((("something" "is" "red" "+") ("something" "chases" "lion" "+")) -> ("something" "needs" "mouse" "+"))
The mouse is red.
True
1
proof
[(triple3)]
("mouse" "is" "red" "+")
triple3
The lion does not need the squirrel.
False
1
inv-proof
[(triple2)]
("lion" "needs" "squirrel" "-")
triple2
The lion visits the lion.
True
2
proof
[(((triple1) -> rule6))]
("lion" "visits" "lion" "+")
((triple1) -> (rule6 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion does not visit the lion.
False
2
inv-proof
[(((triple1) -> rule6))]
("lion" "visits" "lion" "-")
((triple1) -> (rule6 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the squirrel.
True
4
proof
[(((((triple4) -> rule5) triple9) -> rule1) OR ((((triple9) -> rule5) triple9) -> rule1) OR ((((triple4) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple9) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) triple9) -> rule1) OR ((((triple4) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((triple9) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) triple9) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1))]
("lion" "visits" "squirrel" "+")
((((triple4) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
((((triple9) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
((((triple9) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
((((triple4) -> (rule5 % int4)) ((((triple10 triple8) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int4
((((triple9) -> (rule5 % int4)) ((((triple10 triple8) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int4
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7) -> (rule7 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
((((((triple7) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple10 triple8) -> (rule4 % int2)) triple8) -> (rule2 % int4))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) ((triple7) -> (rule7 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) ((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The lion does not visit the squirrel.
False
4
inv-proof
[(((((triple4) -> rule5) triple9) -> rule1) OR ((((triple9) -> rule5) triple9) -> rule1) OR ((((triple4) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple9) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) triple9) -> rule1) OR ((((triple4) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((triple9) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) triple9) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1))]
("lion" "visits" "squirrel" "-")
((((triple4) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
((((triple9) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
((((triple9) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
((((triple4) -> (rule5 % int4)) ((((triple10 triple8) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int4
((((triple9) -> (rule5 % int4)) ((((triple10 triple8) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int4
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7) -> (rule7 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
((((((triple7) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple10 triple8) -> (rule4 % int2)) triple8) -> (rule2 % int4))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) ((triple7) -> (rule7 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) ((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
The squirrel does not visit the lion.
Unknown
inv-rconc
[@1: The squirrel visits the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "lion" "-")
The lion needs the mouse.
Unknown
rconc
[@1: The lion needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "needs" "mouse" "+")
The lion does not need the lion.
Unknown
inv-rconc
[@2: The lion needs the lion.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("lion" "needs" "lion" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The lion is nice.[(triple1)] The lion needs the squirrel.[(triple2)] The mouse is red.[(triple3)] The mouse needs the lion.[(triple4)] The mouse needs the squirrel.[(triple5)] The mouse visits the lion.[(triple6)] The squirrel is big.[(triple7)] The squirrel is blue.[(triple8)] The squirrel needs the lion.[(triple9 OR ((triple7) -> rule7) OR ((((triple10 triple8) -> rule4) triple8) -> rule2))] The squirrel needs the mouse.[(triple10)] @1: The lion chases the squirrel.[(((triple4) -> rule5) OR ((triple9) -> rule5) OR ((((triple7) -> rule7)) -> rule5) OR ((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5))] The lion visits the lion.[(((triple1) -> rule6))] The squirrel needs the squirrel.[(((triple10 triple8) -> rule4))] @2: The lion visits the squirrel.[(((((triple4) -> rule5) triple9) -> rule1) OR ((((triple9) -> rule5) triple9) -> rule1) OR ((((triple4) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple9) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) triple9) -> rule1) OR ((((triple4) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((triple9) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule7)) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) triple9) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule5) ((((triple10 triple8) -> rule4) triple8) -> rule2)) -> rule1))]
The lion is nice.
("lion" "is" "nice" "+")
triple1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple3
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple4
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple5
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple9
((triple7) -> (rule7 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
((((triple10 triple8) -> (rule4 % int2)) triple8) -> (rule2 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((triple4) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
((triple9) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
((((((triple10 triple8) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule5 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple1) -> (rule6 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple10 triple8) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
((((triple4) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
((((triple9) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
((((triple9) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
((((triple4) -> (rule5 % int4)) ((((triple10 triple8) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int4
((((triple9) -> (rule5 % int4)) ((((triple10 triple8) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int4
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7) -> (rule7 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
((((((triple7) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple10 triple8) -> (rule4 % int2)) triple8) -> (rule2 % int4))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) ((triple7) -> (rule7 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4
((((((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule5 % int2)) ((((triple10 triple8) -> (rule4 % int4)) triple8) -> (rule2 % int3))) -> (rule1 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int4