The bald eagle is young. The bald eagle needs the bear. The bear eats the bald eagle. The bear likes the squirrel. The bear needs the bald eagle. The bear needs the dog. The bear needs the squirrel. The dog eats the bear. The dog eats the squirrel. The dog is rough. The dog needs the squirrel. The squirrel eats the bear. If something likes the bald eagle then it needs the bald eagle. If something likes the bear and the bear eats the bald eagle then the bald eagle eats the bear. If something eats the bald eagle then it is blue. If something is blue then it eats the squirrel. If something needs the dog then the dog likes the bear. If something eats the bear then it eats the bald eagle. If something is big and it needs the bald eagle then it needs the dog. All blue, big things are cold. If something needs the squirrel and it eats the dog then the dog eats the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
If something likes the bald eagle then it needs the bald eagle.
((("something" "likes" "bald eagle" "+")) -> ("something" "needs" "bald eagle" "+"))
If something likes the bear and the bear eats the bald eagle then the bald eagle eats the bear.
((("something" "likes" "bear" "+") ("bear" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If something eats the bald eagle then it is blue.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it eats the squirrel.
((("something" "is" "blue" "+")) -> ("something" "eats" "squirrel" "+"))
If something needs the dog then the dog likes the bear.
((("something" "needs" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If something eats the bear then it eats the bald eagle.
((("something" "eats" "bear" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is big and it needs the bald eagle then it needs the dog.
((("something" "is" "big" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "needs" "dog" "+"))
All blue, big things are cold.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something needs the squirrel and it eats the dog then the dog eats the bald eagle.
((("something" "needs" "squirrel" "+") ("something" "eats" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
The bear needs the bald eagle.
True
1
proof
[(triple5)]
("bear" "needs" "bald eagle" "+")
triple5
The bear does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("bear" "eats" "bald eagle" "-")
triple3
The dog eats the bald eagle.
True
2
proof
[(((triple8) -> rule6))]
("dog" "eats" "bald eagle" "+")
((triple8) -> (rule6 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The squirrel does not eat the bald eagle.
False
2
inv-proof
[(((triple12) -> rule6))]
("squirrel" "eats" "bald eagle" "-")
((triple12) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bear eats the squirrel.
True
3
proof
[(((((triple3) -> rule3)) -> rule4))]
("bear" "eats" "squirrel" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The dog is not blue.
False
3
inv-proof
[(((((triple8) -> rule6)) -> rule3))]
("dog" "is" "blue" "-")
((((triple8) -> (rule6 % int2))) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The squirrel eats the squirrel.
True
4
proof
[(((((((triple12) -> rule6)) -> rule3)) -> rule4))]
("squirrel" "eats" "squirrel" "+")
((((((triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((((((triple12) -> rule6)) -> rule3)) -> rule4))]
("squirrel" "eats" "squirrel" "-")
((((((triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The bald eagle is blue.
True
6
proof
[(((((((((triple6) -> rule5) triple3) -> rule2)) -> rule6)) -> rule3))]
("bald eagle" "is" "blue" "+")
((((((((triple6) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The bald eagle is not blue.
False
6
inv-proof
[(((((((((triple6) -> rule5) triple3) -> rule2)) -> rule6)) -> rule3))]
("bald eagle" "is" "blue" "-")
((((((((triple6) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The bald eagle eats the squirrel.
True
7
proof
[(((((((((((triple6) -> rule5) triple3) -> rule2)) -> rule6)) -> rule3)) -> rule4))]
("bald eagle" "eats" "squirrel" "+")
((((((((((triple6) -> (rule5 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The bald eagle does not eat the squirrel.
False
7
inv-proof
[(((((((((((triple6) -> rule5) triple3) -> rule2)) -> rule6)) -> rule3)) -> rule4))]
("bald eagle" "eats" "squirrel" "-")
((((((((((triple6) -> (rule5 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "cold" "-")
The squirrel is cold.
Unknown
rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "cold" "+")
The dog does not need the bald eagle.
Unknown
inv-rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "bald eagle" "-")
The squirrel needs the dog.
Unknown
rconc
[@1: The squirrel needs the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "needs" "dog" "+")
The squirrel does not need the bald eagle.
Unknown
inv-rconc
[@1: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "bald eagle" "-")
The bald eagle is cold.
Unknown
rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "cold" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
The bear does not like the dog.
Unknown
inv-random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "-")
The squirrel needs the bear.
Unknown
random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "+")
The dog does not like the bald eagle.
Unknown
inv-random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "-")
The squirrel likes the bald eagle.
Unknown
random
[@0: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle needs the bear.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear needs the dog.[(triple6)] The bear needs the squirrel.[(triple7)] The dog eats the bear.[(triple8)] The dog eats the squirrel.[(triple9 OR ((((((triple8) -> rule6)) -> rule3)) -> rule4))] The dog is rough.[(triple10)] The dog needs the squirrel.[(triple11)] The squirrel eats the bear.[(triple12)] @1: The bear is blue.[(((triple3) -> rule3))] The dog eats the bald eagle.[(((triple8) -> rule6))] The dog likes the bear.[(((triple6) -> rule5))] The squirrel eats the bald eagle.[(((triple12) -> rule6))] @2: The bald eagle eats the bear.[(((((triple6) -> rule5) triple3) -> rule2))] The bear eats the squirrel.[(((((triple3) -> rule3)) -> rule4))] The dog is blue.[(((((triple8) -> rule6)) -> rule3))] The squirrel is blue.[(((((triple12) -> rule6)) -> rule3))] @3: The bald eagle eats the bald eagle.[(((((((triple6) -> rule5) triple3) -> rule2)) -> rule6))] The squirrel eats the squirrel.[(((((((triple12) -> rule6)) -> rule3)) -> rule4))] @4: The bald eagle is blue.[(((((((((triple6) -> rule5) triple3) -> rule2)) -> rule6)) -> rule3))] @5: The bald eagle eats the squirrel.[(((((((((((triple6) -> rule5) triple3) -> rule2)) -> rule6)) -> rule3)) -> rule4))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple9
((((((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple11
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple12
The bear is blue.
("bear" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple8) -> (rule6 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple6) -> (rule5 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((triple6) -> (rule5 % int2)) triple3) -> (rule2 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The dog is blue.
("dog" "is" "blue" "+")
((((triple8) -> (rule6 % int2))) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((((triple6) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((((triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((((((triple6) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((((((((((triple6) -> (rule5 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5