The lion chases the squirrel. The lion eats the squirrel. The lion is big. The lion is green. The lion is kind. The lion is red. The lion is round. The lion needs the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel needs the lion. If someone chases the lion then the lion is green. If someone is round then they eat the squirrel. If someone chases the squirrel and they eat the squirrel then they chase the lion. If someone chases the lion and they are kind then they chase the squirrel. If the squirrel needs the lion then the lion needs the squirrel. If someone needs the lion and they eat the lion then the lion needs the squirrel. If someone needs the lion and the lion is round then the lion chases the squirrel. If the squirrel needs the lion and the squirrel eats the lion then the squirrel is red.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone chases the lion then the lion is green.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "green" "+"))
If someone is round then they eat the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone chases the squirrel and they eat the squirrel then they chase the lion.
((("someone" "chases" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the lion and they are kind then they chase the squirrel.
((("someone" "chases" "lion" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "squirrel" "+"))
If the squirrel needs the lion then the lion needs the squirrel.
((("squirrel" "needs" "lion" "+")) -> ("lion" "needs" "squirrel" "+"))
If someone needs the lion and they eat the lion then the lion needs the squirrel.
((("someone" "needs" "lion" "+") ("someone" "eats" "lion" "+")) -> ("lion" "needs" "squirrel" "+"))
If someone needs the lion and the lion is round then the lion chases the squirrel.
((("someone" "needs" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "chases" "squirrel" "+"))
If the squirrel needs the lion and the squirrel eats the lion then the squirrel is red.
((("squirrel" "needs" "lion" "+") ("squirrel" "eats" "lion" "+")) -> ("squirrel" "is" "red" "+"))
The lion chases the squirrel.
True
1
proof
[(triple1 OR ((triple16 triple7) -> rule7))]
("lion" "chases" "squirrel" "+")
triple1
((triple16 triple7) -> (rule7 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The lion does not eat the squirrel.
False
1
inv-proof
[(triple2 OR ((triple7) -> rule2))]
("lion" "eats" "squirrel" "-")
triple2
((triple7) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The lion chases the squirrel.[(triple1 OR ((triple16 triple7) -> rule7))] The lion eats the squirrel.[(triple2 OR ((triple7) -> rule2))] The lion is big.[(triple3)] The lion is green.[(triple4 OR ((triple9) -> rule1) OR ((((triple1 triple2) -> rule3)) -> rule1) OR ((((triple1 ((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((((triple16 triple7) -> rule7) triple2) -> rule3)) -> rule1) OR ((((((triple16 triple7) -> rule7) ((triple7) -> rule2)) -> rule3)) -> rule1))] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion is round.[(triple7)] The lion needs the squirrel.[(triple8 OR ((triple16) -> rule5) OR ((triple16 triple10) -> rule6))] The squirrel chases the lion.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel is big.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is red.[(triple14 OR ((triple16 triple10) -> rule8))] The squirrel is round.[(triple15)] The squirrel needs the lion.[(triple16)] @1: The lion chases the lion.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple7) -> rule2)) -> rule3) OR ((((triple16 triple7) -> rule7) triple2) -> rule3) OR ((((triple16 triple7) -> rule7) ((triple7) -> rule2)) -> rule3))] The squirrel chases the squirrel.[(((triple9 triple13) -> rule4))] The squirrel eats the squirrel.[(((triple15) -> rule2))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
((triple16 triple7) -> (rule7 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple2
((triple7) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
((triple9) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
((((triple1 ((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int3
((((((triple16 triple7) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
((((((triple16 triple7) -> (rule7 % int4)) ((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple8
((triple16) -> (rule5 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
((triple16 triple10) -> (rule6 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
((triple16 triple10) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
triple15
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple16
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple1 triple2) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
((triple1 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
((((triple16 triple7) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
((((triple16 triple7) -> (rule7 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int3
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple9 triple13) -> (rule4 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple15) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1