The bald eagle chases the rabbit. The bald eagle is blue. The bald eagle is green. The bald eagle is young. The bald eagle needs the rabbit. The bald eagle sees the rabbit. The rabbit chases the bald eagle. If the rabbit is green then the rabbit chases the bald eagle. If something sees the rabbit then the rabbit chases the bald eagle. If the rabbit is green and the rabbit sees the bald eagle then the rabbit is nice. If the rabbit chases the bald eagle and the rabbit is nice then the bald eagle chases the rabbit. If something needs the rabbit then the rabbit is nice. If the rabbit needs the bald eagle and the bald eagle chases the rabbit then the rabbit sees the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
If the rabbit is green then the rabbit chases the bald eagle.
((("rabbit" "is" "green" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If something sees the rabbit then the rabbit chases the bald eagle.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If the rabbit is green and the rabbit sees the bald eagle then the rabbit is nice.
((("rabbit" "is" "green" "+") ("rabbit" "sees" "bald eagle" "+")) -> ("rabbit" "is" "nice" "+"))
If the rabbit chases the bald eagle and the rabbit is nice then the bald eagle chases the rabbit.
((("rabbit" "chases" "bald eagle" "+") ("rabbit" "is" "nice" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If something needs the rabbit then the rabbit is nice.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If the rabbit needs the bald eagle and the bald eagle chases the rabbit then the rabbit sees the bald eagle.
((("rabbit" "needs" "bald eagle" "+") ("bald eagle" "chases" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
The bald eagle needs the rabbit.
True
1
proof
[(triple5)]
("bald eagle" "needs" "rabbit" "+")
triple5
The rabbit does not chase the bald eagle.
False
1
inv-proof
[(triple7 OR ((triple6) -> rule2))]
("rabbit" "chases" "bald eagle" "-")
triple7
((triple6) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is nice.
True
2
proof
[(((triple5) -> rule5))]
("rabbit" "is" "nice" "+")
((triple5) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple5) -> rule5))]
("rabbit" "is" "nice" "-")
((triple5) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The rabbit needs the bald eagle.
Unknown
random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1 OR ((triple7 ((triple5) -> rule5)) -> rule4) OR ((((triple6) -> rule2) ((triple5) -> rule5)) -> rule4))] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The rabbit chases the bald eagle.[(triple7 OR ((triple6) -> rule2))] @1: The rabbit is nice.[(((triple5) -> rule5))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
((triple7 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple6
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple7
((triple6) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple5) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1