The bald eagle chases the squirrel. The cat is green. The cat is red. The cat needs the bald eagle. The cat does not need the mouse. The cat does not need the squirrel. The mouse chases the cat. The mouse does not visit the squirrel. The squirrel is not green. The squirrel needs the mouse. If someone is nice then they chase the bald eagle. If someone chases the bald eagle and they need the mouse then the mouse chases the squirrel. If the mouse visits the bald eagle and the mouse does not visit the squirrel then the squirrel chases the cat. If the squirrel chases the cat then the cat chases the mouse. If someone is rough and red then they are nice. If the mouse is not red then the mouse is not nice.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone is nice then they chase the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle and they need the mouse then the mouse chases the squirrel.
((("someone" "chases" "bald eagle" "+") ("someone" "needs" "mouse" "+")) -> ("mouse" "chases" "squirrel" "+"))
If the mouse visits the bald eagle and the mouse does not visit the squirrel then the squirrel chases the cat.
((("mouse" "visits" "bald eagle" "+") ("mouse" "visits" "squirrel" "~")) -> ("squirrel" "chases" "cat" "+"))
If the squirrel chases the cat then the cat chases the mouse.
((("squirrel" "chases" "cat" "+")) -> ("cat" "chases" "mouse" "+"))
If someone is rough and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If the mouse is not red then the mouse is not nice.
((("mouse" "is" "red" "~")) -> ("mouse" "is" "nice" "-"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "squirrel" "-")
triple1
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@2: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The cat does not need the mouse.[(triple5)] The cat does not need the squirrel.[(triple6)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat needs the bald eagle.[(triple4)] The mouse chases the cat.[(triple7)] The mouse does not visit the squirrel.[(triple8)] The squirrel is not green.[(triple9)] The squirrel needs the mouse.[(triple10)]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
triple5
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
triple6
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple7
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
triple8
The squirrel is not green.
("squirrel" "is" "green" "-")
triple9
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10