The cow chases the squirrel. The cow eats the squirrel. The cow is blue. The cow is young. The cow does not like the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel is blue. The squirrel is not red. The squirrel is round. The squirrel is young. The squirrel likes the cow. If someone chases the cow then they like the cow. If someone chases the squirrel then they do not chase the cow. If the squirrel chases the cow and the cow eats the squirrel then the squirrel is round.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone chases the cow then they like the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "likes" "cow" "+"))
If someone chases the squirrel then they do not chase the cow.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "cow" "-"))
If the squirrel chases the cow and the cow eats the squirrel then the squirrel is round.
((("squirrel" "chases" "cow" "+") ("cow" "eats" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
The squirrel is young.
True
1
proof
[(triple11)]
("squirrel" "is" "young" "+")
triple11
The squirrel does not like the cow.
False
1
inv-proof
[(triple12 OR ((triple6) -> rule1))]
("squirrel" "likes" "cow" "-")
triple12
((triple6) -> (rule1 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow does not chase the cow.
True
2
proof
[(((triple1) -> rule2))]
("cow" "chases" "cow" "-")
((triple1) -> (rule2 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1
The cow chases the cow.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "chases" "cow" "+")
((triple1) -> (rule2 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "cow" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The cow chases the squirrel.[(triple1)] The cow does not like the squirrel.[(triple5)] The cow eats the squirrel.[(triple2)] The cow is blue.[(triple3)] The cow is young.[(triple4)] The squirrel chases the cow.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is not red.[(triple9)] The squirrel is round.[(triple10 OR ((triple6 triple2) -> rule3))] The squirrel is young.[(triple11)] The squirrel likes the cow.[(triple12 OR ((triple6) -> rule1))] @1: The cow does not chase the cow.[(((triple1) -> rule2))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
triple5
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is not red.
("squirrel" "is" "red" "-")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
((triple6 triple2) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple11
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple12
((triple6) -> (rule1 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow does not chase the cow.
("cow" "chases" "cow" "-")
((triple1) -> (rule2 % int1))
The cow does not chase the cow.
("cow" "chases" "cow" "-")
int1