The rabbit eats the squirrel. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit is round. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is blue. The squirrel is red. The squirrel likes the rabbit. The squirrel sees the rabbit. If something likes the rabbit then it is round. If something sees the rabbit then it likes the rabbit. If something eats the squirrel then it is round. If something likes the squirrel then it likes the rabbit. If the rabbit is red then the rabbit eats the squirrel. If something eats the rabbit and the rabbit eats the squirrel then the rabbit sees the squirrel. If something eats the squirrel and the squirrel eats the rabbit then the rabbit is blue. If something sees the squirrel and the squirrel likes the rabbit then the rabbit sees the squirrel.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something likes the rabbit then it is round.
((("something" "likes" "rabbit" "+")) -> ("something" "is" "round" "+"))
If something sees the rabbit then it likes the rabbit.
((("something" "sees" "rabbit" "+")) -> ("something" "likes" "rabbit" "+"))
If something eats the squirrel then it is round.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "round" "+"))
If something likes the squirrel then it likes the rabbit.
((("something" "likes" "squirrel" "+")) -> ("something" "likes" "rabbit" "+"))
If the rabbit is red then the rabbit eats the squirrel.
((("rabbit" "is" "red" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something eats the rabbit and the rabbit eats the squirrel then the rabbit sees the squirrel.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "squirrel" "+")) -> ("rabbit" "sees" "squirrel" "+"))
If something eats the squirrel and the squirrel eats the rabbit then the rabbit is blue.
((("something" "eats" "squirrel" "+") ("squirrel" "eats" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If something sees the squirrel and the squirrel likes the rabbit then the rabbit sees the squirrel.
((("something" "sees" "squirrel" "+") ("squirrel" "likes" "rabbit" "+")) -> ("rabbit" "sees" "squirrel" "+"))
The rabbit is green.
True
1
proof
[(triple3)]
("rabbit" "is" "green" "+")
triple3
The squirrel does not eat the rabbit.
False
1
inv-proof
[(triple8)]
("squirrel" "eats" "rabbit" "-")
triple8
The rabbit likes the rabbit.
True
2
proof
[(((triple6) -> rule4))]
("rabbit" "likes" "rabbit" "+")
((triple6) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))]
("squirrel" "is" "round" "-")
((triple11) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The rabbit eats the squirrel.[(triple1 OR ((triple4) -> rule5))] The rabbit is blue.[(triple2 OR ((triple1 triple8) -> rule7) OR ((((triple4) -> rule5) triple8) -> rule7))] The rabbit is green.[(triple3)] The rabbit is red.[(triple4)] The rabbit is round.[(triple5 OR ((triple1) -> rule3) OR ((((triple4) -> rule5)) -> rule3) OR ((((triple6) -> rule4)) -> rule1))] The rabbit likes the squirrel.[(triple6)] The rabbit sees the squirrel.[(triple7 OR ((triple8 triple1) -> rule6) OR ((triple8 ((triple4) -> rule5)) -> rule6))] The squirrel eats the rabbit.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is red.[(triple10)] The squirrel likes the rabbit.[(triple11 OR ((triple12) -> rule2))] The squirrel sees the rabbit.[(triple12)] @1: The rabbit likes the rabbit.[(((triple6) -> rule4))] The squirrel is round.[(((triple11) -> rule1) OR ((((triple12) -> rule2)) -> rule1))]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
((triple4) -> (rule5 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
((triple1 triple8) -> (rule7 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
((((triple4) -> (rule5 % int2)) triple8) -> (rule7 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is red.
("rabbit" "is" "red" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
((triple1) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple7
((triple8 triple1) -> (rule6 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
((triple8 ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple11
((triple12) -> (rule2 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple12
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple6) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple11) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2