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