The cat eats the rabbit. The cat is kind. The cat likes the cow. The cat visits the rabbit. The cat visits the squirrel. The cow is kind. The cow is young. The cow likes the rabbit. The cow visits the squirrel. The rabbit likes the cow. The squirrel is red. The squirrel visits the rabbit. If someone visits the rabbit and they like the cow then the rabbit visits the cow. If someone visits the squirrel and the squirrel likes the cow then the squirrel visits the cow. If someone is green then they eat the cat.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone visits the rabbit and they like the cow then the rabbit visits the cow.
((("someone" "visits" "rabbit" "+") ("someone" "likes" "cow" "+")) -> ("rabbit" "visits" "cow" "+"))
If someone visits the squirrel and the squirrel likes the cow then the squirrel visits the cow.
((("someone" "visits" "squirrel" "+") ("squirrel" "likes" "cow" "+")) -> ("squirrel" "visits" "cow" "+"))
If someone is green then they eat the cat.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cat" "+"))
The cat likes the cow.
True
1
proof
[(triple3)]
("cat" "likes" "cow" "+")
triple3
The cow is not kind.
False
1
inv-proof
[(triple6)]
("cow" "is" "kind" "-")
triple6
The rabbit visits the cow.
True
3
proof
[(((triple4 triple3) -> rule1))]
("rabbit" "visits" "cow" "+")
((triple4 triple3) -> (rule1 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The rabbit does not visit the cow.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("rabbit" "visits" "cow" "-")
((triple4 triple3) -> (rule1 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow does not eat the cat.
Unknown
inv-rconc
[@1: The cow eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "cat" "-")
The squirrel visits the cow.
Unknown
rconc
[@1: The squirrel visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "cow" "+")
The cow does not like the squirrel.
Unknown
inv-random
[@0: The cow likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "squirrel" "-")
The cat likes the rabbit.
Unknown
random
[@0: The cat likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "rabbit" "+")
@0: The cat eats the rabbit.[(triple1)] The cat is kind.[(triple2)] The cat likes the cow.[(triple3)] The cat visits the rabbit.[(triple4)] The cat visits the squirrel.[(triple5)] The cow is kind.[(triple6)] The cow is young.[(triple7)] The cow likes the rabbit.[(triple8)] The cow visits the squirrel.[(triple9)] The rabbit likes the cow.[(triple10)] The squirrel is red.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The rabbit visits the cow.[(((triple4 triple3) -> rule1))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat likes the cow.
("cat" "likes" "cow" "+")
triple3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple4
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple8
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple9
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
((triple4 triple3) -> (rule1 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1