The lion eats the squirrel. The lion is big. The lion is nice. The lion is round. The lion is young. The lion likes the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the lion. The squirrel visits the lion. If the lion eats the squirrel and the lion likes the squirrel then the lion is nice. If someone likes the lion then the lion eats the squirrel. If the squirrel visits the lion and the lion eats the squirrel then the lion is round. If someone likes the lion then the lion visits the squirrel. If the lion is big then the lion is round. Young, round people are green.
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
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 nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the lion eats the squirrel and the lion likes the squirrel then the lion is nice.
((("lion" "eats" "squirrel" "+") ("lion" "likes" "squirrel" "+")) -> ("lion" "is" "nice" "+"))
If someone likes the lion then the lion eats the squirrel.
((("someone" "likes" "lion" "+")) -> ("lion" "eats" "squirrel" "+"))
If the squirrel visits the lion and the lion eats the squirrel then the lion is round.
((("squirrel" "visits" "lion" "+") ("lion" "eats" "squirrel" "+")) -> ("lion" "is" "round" "+"))
If someone likes the lion then the lion visits the squirrel.
((("someone" "likes" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If the lion is big then the lion is round.
((("lion" "is" "big" "+")) -> ("lion" "is" "round" "+"))
Young, round people are green.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
The squirrel eats the lion.
True
1
proof
[(triple8)]
("squirrel" "eats" "lion" "+")
triple8
The squirrel does not eat the lion.
False
1
inv-proof
[(triple8)]
("squirrel" "eats" "lion" "-")
triple8
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The lion eats the squirrel.[(triple1 OR ((triple14) -> rule2))] The lion is big.[(triple2)] The lion is nice.[(triple3 OR ((triple1 triple6) -> rule1) OR ((((triple14) -> rule2) triple6) -> rule1))] The lion is round.[(triple4 OR ((triple2) -> rule5) OR ((triple15 triple1) -> rule3) OR ((triple15 ((triple14) -> rule2)) -> rule3))] The lion is young.[(triple5)] The lion likes the squirrel.[(triple6)] The lion visits the squirrel.[(triple7 OR ((triple14) -> rule4))] The squirrel eats the lion.[(triple8)] The squirrel is big.[(triple9)] The squirrel is green.[(triple10 OR ((triple13 triple12) -> rule6))] The squirrel is nice.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The lion is green.[(((triple5 triple4) -> rule6) OR ((triple5 ((triple2) -> rule5)) -> rule6) OR ((triple5 ((triple15 triple1) -> rule3)) -> rule6) OR ((triple5 ((triple15 ((triple14) -> rule2)) -> rule3)) -> rule6))]
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple1
((triple14) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
((triple1 triple6) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((((triple14) -> (rule2 % int2)) triple6) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
The lion is round.
("lion" "is" "round" "+")
triple4
((triple2) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((triple15 triple1) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((triple15 ((triple14) -> (rule2 % int2))) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
The lion is young.
("lion" "is" "young" "+")
triple5
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple6
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple7
((triple14) -> (rule4 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
((triple13 triple12) -> (rule6 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple14
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple15
The lion is green.
("lion" "is" "green" "+")
((triple5 triple4) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((triple5 ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((triple5 ((triple15 triple1) -> (rule3 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((triple5 ((triple15 ((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int3