The bald eagle is green. The cat is kind. The squirrel visits the cat. If someone visits the cat and the cat sees the squirrel then they visit the squirrel. If someone is blue then they visit the bald eagle. If the bald eagle visits the cat and the bald eagle is not kind then the bald eagle is not red. If someone chases the bald eagle and the bald eagle chases the cat then the bald eagle is rough. If someone sees the cat then the cat is not kind. If someone visits the cat then they see the bald eagle. If someone chases the squirrel then they do not see the bald eagle. If someone chases the cat and the cat does not see the bald eagle then they are not rough.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone visits the cat and the cat sees the squirrel then they visit the squirrel.
((("someone" "visits" "cat" "+") ("cat" "sees" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is blue then they visit the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the bald eagle visits the cat and the bald eagle is not kind then the bald eagle is not red.
((("bald eagle" "visits" "cat" "+") ("bald eagle" "is" "kind" "~")) -> ("bald eagle" "is" "red" "-"))
If someone chases the bald eagle and the bald eagle chases the cat then the bald eagle is rough.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "cat" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone sees the cat then the cat is not kind.
((("someone" "sees" "cat" "+")) -> ("cat" "is" "kind" "-"))
If someone visits the cat then they see the bald eagle.
((("someone" "visits" "cat" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the squirrel then they do not see the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone chases the cat and the cat does not see the bald eagle then they are not rough.
((("someone" "chases" "cat" "+") ("cat" "sees" "bald eagle" "~")) -> ("someone" "is" "rough" "-"))
The squirrel visits the cat.
True
1
proof
[(triple3)]
("squirrel" "visits" "cat" "+")
triple3
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The cat does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cat visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "bald eagle" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bald eagle is green.[(triple1)] The cat is kind.[(triple2)] The squirrel visits the cat.[(triple3)] @1: The squirrel sees the bald eagle.[(((triple3) -> rule6))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
((triple3) -> (rule6 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1