The cow eats the squirrel. The cow is blue. The cow is green. The cow is young. The cow likes the squirrel. The cow sees the squirrel. The squirrel likes the cow. If someone is red then they like the squirrel. If someone likes the cow and they are blue then the cow likes the squirrel. If the cow is young and the cow likes the squirrel then the squirrel sees the cow. If someone is rough then they see the cow. If someone is red then they like the cow. If someone sees the squirrel then the squirrel is young. If someone eats the cow then the cow is blue. If someone eats the cow and the cow likes the squirrel then the cow sees the squirrel.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone is red then they like the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the cow and they are blue then the cow likes the squirrel.
((("someone" "likes" "cow" "+") ("someone" "is" "blue" "+")) -> ("cow" "likes" "squirrel" "+"))
If the cow is young and the cow likes the squirrel then the squirrel sees the cow.
((("cow" "is" "young" "+") ("cow" "likes" "squirrel" "+")) -> ("squirrel" "sees" "cow" "+"))
If someone is rough then they see the cow.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "cow" "+"))
If someone is red then they like the cow.
((("someone" "is" "red" "+")) -> ("someone" "likes" "cow" "+"))
If someone sees the squirrel then the squirrel is young.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone eats the cow then the cow is blue.
((("someone" "eats" "cow" "+")) -> ("cow" "is" "blue" "+"))
If someone eats the cow and the cow likes the squirrel then the cow sees the squirrel.
((("someone" "eats" "cow" "+") ("cow" "likes" "squirrel" "+")) -> ("cow" "sees" "squirrel" "+"))
The cow eats the squirrel.
True
1
proof
[(triple1)]
("cow" "eats" "squirrel" "+")
triple1
The cow does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "eats" "squirrel" "-")
triple1
The squirrel sees the cow.
True
3
proof
[(((triple4 triple5) -> rule3))]
("squirrel" "sees" "cow" "+")
((triple4 triple5) -> (rule3 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple6) -> rule6))]
("squirrel" "is" "young" "-")
((triple6) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "cow" "-")
The cow sees the cow.
Unknown
rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "sees" "cow" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is young.[(triple4)] The cow likes the squirrel.[(triple5)] The cow sees the squirrel.[(triple6)] The squirrel likes the cow.[(triple7)] @1: The squirrel is young.[(((triple6) -> rule6))] The squirrel sees the cow.[(((triple4 triple5) -> rule3))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
((triple6) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
((triple4 triple5) -> (rule3 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1