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