The bald eagle chases the mouse. The cat chases the squirrel. The mouse is kind. The mouse visits the bald eagle. The mouse visits the cat. The squirrel is cold. The squirrel visits the cat. If someone likes the squirrel then the squirrel visits the mouse. If someone likes the squirrel then the squirrel chases the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone likes the squirrel then the squirrel visits the mouse.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
If someone likes the squirrel then the squirrel chases the bald eagle.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
The squirrel visits the cat.
True
1
proof
[(triple7)]
("squirrel" "visits" "cat" "+")
triple7
The mouse does not visit the bald eagle.
False
1
inv-proof
[(triple4)]
("mouse" "visits" "bald eagle" "-")
triple4
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The cat likes the mouse.
Unknown
random
[@0: The cat likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The mouse is kind.[(triple3)] The mouse visits the bald eagle.[(triple4)] The mouse visits the cat.[(triple5)] The squirrel is cold.[(triple6)] The squirrel visits the cat.[(triple7)]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple4
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple7