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