The bald eagle is blue. The bald eagle is green. The bald eagle needs the rabbit. The bear needs the bald eagle. The bear needs the rabbit. The bear sees the bald eagle. The rabbit chases the bald eagle. The rabbit chases the bear. The rabbit is blue. The rabbit sees the bald eagle. If something is blue and it needs the bear then it is big. If something is big then it is red. If something needs the bald eagle then it is big.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If something is blue and it needs the bear then it is big.
((("something" "is" "blue" "+") ("something" "needs" "bear" "+")) -> ("something" "is" "big" "+"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something needs the bald eagle then it is big.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "big" "+"))
The rabbit is blue.
True
1
proof
[(triple9)]
("rabbit" "is" "blue" "+")
triple9
The bear does not need the bald eagle.
False
1
inv-proof
[(triple4)]
("bear" "needs" "bald eagle" "-")
triple4
The bear is big.
True
2
proof
[(((triple4) -> rule3))]
("bear" "is" "big" "+")
((triple4) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not big.
False
2
inv-proof
[(((triple4) -> rule3))]
("bear" "is" "big" "-")
((triple4) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
True
3
proof
[(((((triple4) -> rule3)) -> rule2))]
("bear" "is" "red" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is not red.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule2))]
("bear" "is" "red" "-")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The rabbit is not red.
Unknown
inv-rconc
[@2: The rabbit is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("rabbit" "is" "red" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@2: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The rabbit does not need the bald eagle.
Unknown
inv-random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "-")
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 is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The bear needs the bald eagle.[(triple4)] The bear needs the rabbit.[(triple5)] The bear sees the bald eagle.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit is blue.[(triple9)] The rabbit sees the bald eagle.[(triple10)] @1: The bear is big.[(((triple4) -> rule3))] @2: The bear is red.[(((((triple4) -> rule3)) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple7
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple10
The bear is big.
("bear" "is" "big" "+")
((triple4) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2