The cow eats the rabbit. The cow eats the squirrel. The cow is kind. The cow likes the rabbit. The cow needs the rabbit. The rabbit eats the cow. The rabbit eats the squirrel. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is young. The rabbit likes the squirrel. The squirrel is young. The squirrel likes the cow. The squirrel likes the rabbit. The squirrel needs the rabbit. If the cow is cold then the cow likes the squirrel. If the rabbit likes the squirrel then the squirrel likes the rabbit. If someone is blue and they eat the rabbit then the rabbit is cold. If someone is blue and they eat the squirrel then the squirrel likes the cow. If someone likes the rabbit and they are cold then the rabbit eats the squirrel. If the squirrel is cold then the squirrel is green. If someone likes the cow and the cow likes the squirrel then the squirrel likes the cow. If someone needs the rabbit and the rabbit likes the squirrel then the squirrel needs the cow.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If the cow is cold then the cow likes the squirrel.
((("cow" "is" "cold" "+")) -> ("cow" "likes" "squirrel" "+"))
If the rabbit likes the squirrel then the squirrel likes the rabbit.
((("rabbit" "likes" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone is blue and they eat the rabbit then the rabbit is cold.
((("someone" "is" "blue" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
If someone is blue and they eat the squirrel then the squirrel likes the cow.
((("someone" "is" "blue" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
If someone likes the rabbit and they are cold then the rabbit eats the squirrel.
((("someone" "likes" "rabbit" "+") ("someone" "is" "cold" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If the squirrel is cold then the squirrel is green.
((("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "green" "+"))
If someone likes the cow and the cow likes the squirrel then the squirrel likes the cow.
((("someone" "likes" "cow" "+") ("cow" "likes" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
If someone needs the rabbit and the rabbit likes the squirrel then the squirrel needs the cow.
((("someone" "needs" "rabbit" "+") ("rabbit" "likes" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
The cow is kind.
True
1
proof
[(triple3)]
("cow" "is" "kind" "+")
triple3
The cow does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("cow" "eats" "rabbit" "-")
triple1
The squirrel needs the cow.
True
3
proof
[(((triple16 triple12) -> rule8) OR ((triple5 triple12) -> rule8))]
("squirrel" "needs" "cow" "+")
((triple16 triple12) -> (rule8 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
((triple5 triple12) -> (rule8 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel does not need the cow.
False
3
inv-proof
[(((triple16 triple12) -> rule8) OR ((triple5 triple12) -> rule8))]
("squirrel" "needs" "cow" "-")
((triple16 triple12) -> (rule8 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
((triple5 triple12) -> (rule8 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The cow does not like the squirrel.
Unknown
inv-rconc
[@1: The cow likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "squirrel" "-")
The squirrel is green.
Unknown
rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "green" "+")
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 cow needs the squirrel.
Unknown
random
[@0: The cow needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "squirrel" "+")
@0: The cow eats the rabbit.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is kind.[(triple3)] The cow likes the rabbit.[(triple4)] The cow needs the rabbit.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is green.[(triple10)] The rabbit is young.[(triple11)] The rabbit likes the squirrel.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the cow.[(triple14 OR ((triple8 triple7) -> rule4))] The squirrel likes the rabbit.[(triple15 OR ((triple12) -> rule2))] The squirrel needs the rabbit.[(triple16)] @1: The squirrel needs the cow.[(((triple16 triple12) -> rule8) OR ((triple5 triple12) -> rule8))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple6
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
((triple8 triple7) -> (rule4 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple15
((triple12) -> (rule2 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple16
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((triple16 triple12) -> (rule8 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
((triple5 triple12) -> (rule8 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1