The bald eagle likes the bear. The bear is cold. The bear is rough. The bear likes the bald eagle. The bear likes the rabbit. The rabbit chases the bear. The rabbit is cold. The rabbit is rough. The rabbit likes the bald eagle. The squirrel chases the rabbit. The squirrel eats the bald eagle. The squirrel likes the bear. If something eats the squirrel and it likes the squirrel then it likes the rabbit. If something eats the rabbit and it likes the bald eagle then the rabbit chases the squirrel.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If something eats the squirrel and it likes the squirrel then it likes the rabbit.
((("something" "eats" "squirrel" "+") ("something" "likes" "squirrel" "+")) -> ("something" "likes" "rabbit" "+"))
If something eats the rabbit and it likes the bald eagle then the rabbit chases the squirrel.
((("something" "eats" "rabbit" "+") ("something" "likes" "bald eagle" "+")) -> ("rabbit" "chases" "squirrel" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple11)]
("squirrel" "eats" "bald eagle" "+")
triple11
The rabbit does not like the bald eagle.
False
1
inv-proof
[(triple9)]
("rabbit" "likes" "bald eagle" "-")
triple9
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The squirrel eats the bear.
Unknown
random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel eats the bald eagle.[(triple11)] The squirrel likes the bear.[(triple12)]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple9
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple11
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple12