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