The bald eagle is cold. The mouse needs the bald eagle. The rabbit is big. The rabbit visits the squirrel. The squirrel is rough. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If something needs the rabbit and the rabbit visits the mouse then the rabbit eats the squirrel. If something needs the bald eagle and it does not need the squirrel then the squirrel does not eat the mouse.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something needs the rabbit and the rabbit visits the mouse then the rabbit eats the squirrel.
((("something" "needs" "rabbit" "+") ("rabbit" "visits" "mouse" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something needs the bald eagle and it does not need the squirrel then the squirrel does not eat the mouse.
((("something" "needs" "bald eagle" "+") ("something" "needs" "squirrel" "~")) -> ("squirrel" "eats" "mouse" "-"))
The rabbit visits the squirrel.
True
1
proof
[(triple4)]
("rabbit" "visits" "squirrel" "+")
triple4
The squirrel does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("squirrel" "visits" "bald eagle" "-")
triple7
The rabbit does not eat the squirrel.
Unknown
inv-rconc
[@1: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "squirrel" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The mouse needs the bald eagle.[(triple2)] The rabbit is big.[(triple3)] The rabbit visits the squirrel.[(triple4)] The squirrel is rough.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7