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