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