The cow needs the squirrel. The cow sees the squirrel. The squirrel eats the cow. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel needs the cow. The squirrel sees the cow. If someone sees the squirrel then they are young. If the squirrel needs the cow and the cow is young then the cow eats the squirrel.
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone sees the squirrel then they are young.
((("someone" "sees" "squirrel" "+")) -> ("someone" "is" "young" "+"))
If the squirrel needs the cow and the cow is young then the cow eats the squirrel.
((("squirrel" "needs" "cow" "+") ("cow" "is" "young" "+")) -> ("cow" "eats" "squirrel" "+"))
The squirrel is green.
True
1
proof
[(triple5)]
("squirrel" "is" "green" "+")
triple5
The cow does not need the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "needs" "squirrel" "-")
triple1
The cow is young.
True
2
proof
[(((triple2) -> rule1))]
("cow" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "is" "young" "-")
((triple2) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow eats the squirrel.
True
4
proof
[(((triple9 ((triple2) -> rule1)) -> rule2))]
("cow" "eats" "squirrel" "+")
((triple9 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow does not eat the squirrel.
False
4
inv-proof
[(((triple9 ((triple2) -> rule1)) -> rule2))]
("cow" "eats" "squirrel" "-")
((triple9 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
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 cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow needs the squirrel.[(triple1)] The cow sees the squirrel.[(triple2)] The squirrel eats the cow.[(triple3)] The squirrel is blue.[(triple4)] The squirrel is green.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is round.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow is young.[(((triple2) -> rule1))] @2: The cow eats the squirrel.[(((triple9 ((triple2) -> rule1)) -> rule2))]
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The squirrel is green.
("squirrel" "is" "green" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple9
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
The cow is young.
("cow" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
((triple9 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2