The bald eagle chases the rabbit. The bald eagle chases the squirrel. The bald eagle eats the rabbit. The bald eagle eats the squirrel. The rabbit chases the squirrel. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is not nice. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the squirrel. The squirrel does not chase the bald eagle. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is blue. The squirrel likes the bald eagle. If something chases the bald eagle then the bald eagle likes the rabbit. If the bald eagle is green then the bald eagle eats the rabbit. If something eats the squirrel then it likes the bald eagle. If something is blue and it likes the squirrel then it chases the squirrel. If the rabbit is not green and the rabbit does not like the squirrel then the rabbit does not like the bald eagle. If something chases the bald eagle then the bald eagle is rough. If the bald eagle is rough then the bald eagle does not eat the squirrel. If something chases the bald eagle and the bald eagle does not eat the squirrel then the squirrel likes the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If something chases the bald eagle then the bald eagle likes the rabbit.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If the bald eagle is green then the bald eagle eats the rabbit.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If something eats the squirrel then it likes the bald eagle.
((("something" "eats" "squirrel" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is blue and it likes the squirrel then it chases the squirrel.
((("something" "is" "blue" "+") ("something" "likes" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
If the rabbit is not green and the rabbit does not like the squirrel then the rabbit does not like the bald eagle.
((("rabbit" "is" "green" "~") ("rabbit" "likes" "squirrel" "~")) -> ("rabbit" "likes" "bald eagle" "-"))
If something chases the bald eagle then the bald eagle is rough.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the bald eagle is rough then the bald eagle does not eat the squirrel.
((("bald eagle" "is" "rough" "+")) -> ("bald eagle" "eats" "squirrel" "-"))
If something chases the bald eagle and the bald eagle does not eat the squirrel then the squirrel likes the bald eagle.
((("something" "chases" "bald eagle" "+") ("bald eagle" "eats" "squirrel" "~")) -> ("squirrel" "likes" "bald eagle" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple16)]
("squirrel" "likes" "bald eagle" "+")
triple16
The rabbit does not like the squirrel.
False
1
inv-proof
[(triple11)]
("rabbit" "likes" "squirrel" "-")
triple11
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle eats the squirrel.[(triple4)] The rabbit chases the squirrel.[(triple5 OR ((triple7 triple11) -> rule4))] The rabbit eats the bald eagle.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is not nice.[(triple8)] The rabbit is rough.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit likes the squirrel.[(triple11)] The squirrel chases the rabbit.[(triple13)] The squirrel does not chase the bald eagle.[(triple12)] The squirrel eats the rabbit.[(triple14)] The squirrel is blue.[(triple15)] The squirrel likes the bald eagle.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple4) -> rule3))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple4
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple5
((triple7 triple11) -> (rule4 % int1))
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple10
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple11
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple13
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
triple12
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple14
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple15
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple16
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1