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