The bald eagle eats the bear. The bald eagle is round. The bald eagle needs the bear. The bear chases the tiger. The bear eats the bald eagle. The tiger eats the bear. The tiger is green. The tiger is nice. The tiger is red. The tiger needs the bald eagle. If the tiger eats the bear and the bear is nice then the bear eats the bald eagle. If something is nice then it chases the bear. If something eats the tiger then it chases the tiger. If something eats the tiger then it eats the bald eagle. If something eats the bear and it chases the bear then it eats the tiger. If the bear is green then the bear is nice.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If the tiger eats the bear and the bear is nice then the bear eats the bald eagle.
((("tiger" "eats" "bear" "+") ("bear" "is" "nice" "+")) -> ("bear" "eats" "bald eagle" "+"))
If something is nice then it chases the bear.
((("something" "is" "nice" "+")) -> ("something" "chases" "bear" "+"))
If something eats the tiger then it chases the tiger.
((("something" "eats" "tiger" "+")) -> ("something" "chases" "tiger" "+"))
If something eats the tiger then it eats the bald eagle.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the bear and it chases the bear then it eats the tiger.
((("something" "eats" "bear" "+") ("something" "chases" "bear" "+")) -> ("something" "eats" "tiger" "+"))
If the bear is green then the bear is nice.
((("bear" "is" "green" "+")) -> ("bear" "is" "nice" "+"))
The bear chases the tiger.
True
1
proof
[(triple4)]
("bear" "chases" "tiger" "+")
triple4
The tiger is not nice.
False
1
inv-proof
[(triple8)]
("tiger" "is" "nice" "-")
triple8
The tiger chases the bear.
True
2
proof
[(((triple8) -> rule2))]
("tiger" "chases" "bear" "+")
((triple8) -> (rule2 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The tiger does not chase the bear.
False
2
inv-proof
[(((triple8) -> rule2))]
("tiger" "chases" "bear" "-")
((triple8) -> (rule2 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The tiger eats the tiger.
True
4
proof
[(((triple6 ((triple8) -> rule2)) -> rule5))]
("tiger" "eats" "tiger" "+")
((triple6 ((triple8) -> (rule2 % int2))) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The tiger does not eat the tiger.
False
4
inv-proof
[(((triple6 ((triple8) -> rule2)) -> rule5))]
("tiger" "eats" "tiger" "-")
((triple6 ((triple8) -> (rule2 % int2))) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The tiger chases the tiger.
True
5
proof
[(((((triple6 ((triple8) -> rule2)) -> rule5)) -> rule3))]
("tiger" "chases" "tiger" "+")
((((triple6 ((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The tiger does not eat the bald eagle.
False
5
inv-proof
[(((((triple6 ((triple8) -> rule2)) -> rule5)) -> rule4))]
("tiger" "eats" "bald eagle" "-")
((((triple6 ((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The bear does not chase the bear.
Unknown
inv-rconc
[@2: The bear chases the bear.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("bear" "chases" "bear" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "nice" "+")
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@3: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule2 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The bear eats the tiger.
Unknown
rconc
[@1: The bear eats the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "eats" "tiger" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear chases the tiger.[(triple4)] The bear eats the bald eagle.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9)] The tiger needs the bald eagle.[(triple10)] @1: The tiger chases the bear.[(((triple8) -> rule2))] @2: The tiger eats the tiger.[(((triple6 ((triple8) -> rule2)) -> rule5))] @3: The tiger chases the tiger.[(((((triple6 ((triple8) -> rule2)) -> rule5)) -> rule3))] The tiger eats the bald eagle.[(((((triple6 ((triple8) -> rule2)) -> rule5)) -> rule4))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple6
The tiger is green.
("tiger" "is" "green" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
((triple8) -> (rule2 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple6 ((triple8) -> (rule2 % int2))) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((((triple6 ((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((triple6 ((triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int3