The bald eagle is blue. The bear chases the tiger. The bear is big. The bear is not young. The bear sees the bald eagle. The squirrel chases the bald eagle. The tiger chases the bear. The tiger is kind. The tiger sees the bear. The tiger sees the squirrel. If someone chases the squirrel then they eat the tiger. If someone is kind then they chase the squirrel. If someone eats the tiger then they do not chase the tiger.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone chases the squirrel then they eat the tiger.
((("someone" "chases" "squirrel" "+")) -> ("someone" "eats" "tiger" "+"))
If someone is kind then they chase the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone eats the tiger then they do not chase the tiger.
((("someone" "eats" "tiger" "+")) -> ("someone" "chases" "tiger" "-"))
The tiger sees the bear.
True
1
proof
[(triple9)]
("tiger" "sees" "bear" "+")
triple9
The bear does not chase the tiger.
False
1
inv-proof
[(triple2)]
("bear" "chases" "tiger" "-")
triple2
The tiger chases the squirrel.
True
2
proof
[(((triple8) -> rule2))]
("tiger" "chases" "squirrel" "+")
((triple8) -> (rule2 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger does not chase the squirrel.
False
2
inv-proof
[(((triple8) -> rule2))]
("tiger" "chases" "squirrel" "-")
((triple8) -> (rule2 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger eats the tiger.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("tiger" "eats" "tiger" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger does not eat the tiger.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("tiger" "eats" "tiger" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger does not chase the tiger.
True
4
proof
[(((((((triple8) -> rule2)) -> rule1)) -> rule3))]
("tiger" "chases" "tiger" "-")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
The tiger chases the tiger.
False
4
inv-proof
[(((((((triple8) -> rule2)) -> rule1)) -> rule3))]
("tiger" "chases" "tiger" "+")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3
The bald eagle does not chase the squirrel.
Unknown
inv-rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The bald eagle eats the tiger.
Unknown
rconc
[@2: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("bald eagle" "eats" "tiger" "+")
The squirrel does not eat the tiger.
Unknown
inv-rconc
[@2: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("squirrel" "eats" "tiger" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle chases the tiger.
Unknown
random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The bald eagle is blue.[(triple1)] The bear chases the tiger.[(triple2)] The bear is big.[(triple3)] The bear is not young.[(triple4)] The bear sees the bald eagle.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The tiger chases the bear.[(triple7)] The tiger is kind.[(triple8)] The tiger sees the bear.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The tiger chases the squirrel.[(((triple8) -> rule2))] @2: The tiger eats the tiger.[(((((triple8) -> rule2)) -> rule1))] @3: The tiger does not chase the tiger.[(((((((triple8) -> rule2)) -> rule1)) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is not young.
("bear" "is" "young" "-")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple6
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple7
The tiger is kind.
("tiger" "is" "kind" "+")
triple8
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple9
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple10
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple8) -> (rule2 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int2
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int3