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