The bald eagle is not big. The bald eagle is not red. The rabbit eats the bald eagle. If the rabbit eats the bald eagle and the bald eagle is rough then the bald eagle chases the rabbit. If something chases the bald eagle then it needs the rabbit. If something eats the bald eagle then it needs the rabbit. If something eats the rabbit and it needs the bald eagle then it is blue. If something chases the rabbit then it does not chase the bald eagle. If something needs the rabbit then the rabbit chases the bald eagle. If the rabbit chases the bald eagle then the rabbit is red. If the bald eagle is not young and the bald eagle does not chase the rabbit then the rabbit is young.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
If the rabbit eats the bald eagle and the bald eagle is rough then the bald eagle chases the rabbit.
((("rabbit" "eats" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If something chases the bald eagle then it needs the rabbit.
((("something" "chases" "bald eagle" "+")) -> ("something" "needs" "rabbit" "+"))
If something eats the bald eagle then it needs the rabbit.
((("something" "eats" "bald eagle" "+")) -> ("something" "needs" "rabbit" "+"))
If something eats the rabbit and it needs the bald eagle then it is blue.
((("something" "eats" "rabbit" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If something chases the rabbit then it does not chase the bald eagle.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "bald eagle" "-"))
If something needs the rabbit then the rabbit chases the bald eagle.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If the rabbit chases the bald eagle then the rabbit is red.
((("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "is" "red" "+"))
If the bald eagle is not young and the bald eagle does not chase the rabbit then the rabbit is young.
((("bald eagle" "is" "young" "~") ("bald eagle" "chases" "rabbit" "~")) -> ("rabbit" "is" "young" "+"))
The bald eagle is not red.
True
1
proof
[(triple2)]
("bald eagle" "is" "red" "-")
triple2
The bald eagle is red.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "red" "+")
triple2
The rabbit needs the rabbit.
True
2
proof
[(((triple3) -> rule3))]
("rabbit" "needs" "rabbit" "+")
((triple3) -> (rule3 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit does not need the rabbit.
False
2
inv-proof
[(((triple3) -> rule3))]
("rabbit" "needs" "rabbit" "-")
((triple3) -> (rule3 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit chases the bald eagle.
True
3
proof
[(((((triple3) -> rule3)) -> rule6))]
("rabbit" "chases" "bald eagle" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit does not chase the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule6))]
("rabbit" "chases" "bald eagle" "-")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit is red.
True
4
proof
[(((((((triple3) -> rule3)) -> rule6)) -> rule7))]
("rabbit" "is" "red" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3
The rabbit is not red.
False
4
inv-proof
[(((((((triple3) -> rule3)) -> rule6)) -> rule7))]
("rabbit" "is" "red" "-")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The bald eagle chases the rabbit.
Unknown
rconc
[@1: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "rabbit" "+")
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not eat the rabbit.
Unknown
inv-random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The bald eagle is not big.[(triple1)] The bald eagle is not red.[(triple2)] The rabbit eats the bald eagle.[(triple3)] @1: The rabbit needs the rabbit.[(((triple3) -> rule3))] @2: The rabbit chases the bald eagle.[(((((triple3) -> rule3)) -> rule6))] @3: The rabbit is red.[(((((((triple3) -> rule3)) -> rule6)) -> rule7))]
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple3
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple3) -> (rule3 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3