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