The bald eagle chases the cat. The bald eagle needs the cat. The cat chases the mouse. The cat is cold. The cat is not red. The cat visits the dog. The dog needs the bald eagle. The mouse is not green. The mouse does not need the bald eagle. The mouse does not need the dog. If something visits the cat and the cat does not need the bald eagle then the bald eagle visits the dog. If something visits the cat and it visits the dog then the dog chases the bald eagle. All blue things are rough. If something needs the mouse and the mouse does not visit the cat then the mouse does not need the cat. If something chases the cat and it does not need the mouse then it is not blue. If the bald eagle chases the dog then the bald eagle visits the mouse.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse does not need the dog.
("mouse" "needs" "dog" "-")
If something visits the cat and the cat does not need the bald eagle then the bald eagle visits the dog.
((("something" "visits" "cat" "+") ("cat" "needs" "bald eagle" "~")) -> ("bald eagle" "visits" "dog" "+"))
If something visits the cat and it visits the dog then the dog chases the bald eagle.
((("something" "visits" "cat" "+") ("something" "visits" "dog" "+")) -> ("dog" "chases" "bald eagle" "+"))
All blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something needs the mouse and the mouse does not visit the cat then the mouse does not need the cat.
((("something" "needs" "mouse" "+") ("mouse" "visits" "cat" "~")) -> ("mouse" "needs" "cat" "-"))
If something chases the cat and it does not need the mouse then it is not blue.
((("something" "chases" "cat" "+") ("something" "needs" "mouse" "~")) -> ("something" "is" "blue" "-"))
If the bald eagle chases the dog then the bald eagle visits the mouse.
((("bald eagle" "chases" "dog" "+")) -> ("bald eagle" "visits" "mouse" "+"))
The mouse is not green.
True
1
proof
[(triple8)]
("mouse" "is" "green" "-")
triple8
The mouse is green.
False
1
inv-proof
[(triple8)]
("mouse" "is" "green" "+")
triple8
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "rough" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat chases the mouse.[(triple3)] The cat is cold.[(triple4)] The cat is not red.[(triple5)] The cat visits the dog.[(triple6)] The dog needs the bald eagle.[(triple7)] The mouse does not need the bald eagle.[(triple9)] The mouse does not need the dog.[(triple10)] The mouse is not green.[(triple8)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is not red.
("cat" "is" "red" "-")
triple5
The cat visits the dog.
("cat" "visits" "dog" "+")
triple6
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple7
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple9
The mouse does not need the dog.
("mouse" "needs" "dog" "-")
triple10
The mouse is not green.
("mouse" "is" "green" "-")
triple8