The bald eagle chases the rabbit. The bald eagle is not blue. The bald eagle likes the squirrel. The bald eagle sees the rabbit. The rabbit chases the bald eagle. The rabbit is green. The rabbit likes the bald eagle. The rabbit likes the squirrel. The squirrel likes the bald eagle. The squirrel does not see the bald eagle. If the rabbit likes the squirrel and the squirrel is not red then the squirrel chases the rabbit. If the squirrel is red then the squirrel is rough. If the rabbit is green then the rabbit sees the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
If the rabbit likes the squirrel and the squirrel is not red then the squirrel chases the rabbit.
((("rabbit" "likes" "squirrel" "+") ("squirrel" "is" "red" "~")) -> ("squirrel" "chases" "rabbit" "+"))
If the squirrel is red then the squirrel is rough.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "rough" "+"))
If the rabbit is green then the rabbit sees the bald eagle.
((("rabbit" "is" "green" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
The bald eagle likes the squirrel.
True
1
proof
[(triple3)]
("bald eagle" "likes" "squirrel" "+")
triple3
The squirrel sees the bald eagle.
False
1
inv-proof
[(triple10)]
("squirrel" "sees" "bald eagle" "+")
triple10
The rabbit sees the bald eagle.
True
2
proof
[(((triple6) -> rule3))]
("rabbit" "sees" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
2
inv-proof
[(((triple6) -> rule3))]
("rabbit" "sees" "bald eagle" "-")
((triple6) -> (rule3 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel chases the rabbit.
Unknown
rconc
[@1: The squirrel chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "rabbit" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The rabbit chases the bald eagle.[(triple5)] The rabbit is green.[(triple6)] The rabbit likes the bald eagle.[(triple7)] The rabbit likes the squirrel.[(triple8)] The squirrel does not see the bald eagle.[(triple10)] The squirrel likes the bald eagle.[(triple9)] @1: The rabbit sees the bald eagle.[(((triple6) -> rule3))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple7
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple8
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple10
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple9
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1