The cow eats the mouse. The cow is cold. The cow does not visit the dog. The cow visits the mouse. The dog eats the mouse. The dog is not round. The dog needs the squirrel. The dog visits the mouse. The dog visits the squirrel. The mouse eats the cow. The mouse eats the dog. The mouse eats the squirrel. The mouse is cold. The mouse needs the squirrel. The squirrel is not nice. The squirrel is round. If something is nice and rough then it eats the cow. If the cow needs the mouse and the cow is not round then the mouse needs the cow. If the mouse is rough then the mouse does not need the cow. If something is round then it does not need the mouse. If something visits the cow then the cow needs the mouse. If something eats the cow and the cow visits the squirrel then the squirrel needs the cow. If the dog is round and the dog eats the squirrel then the dog does not need the squirrel. If something visits the cow and it is cold then the cow visits the squirrel.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
If something is nice and rough then it eats the cow.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "cow" "+"))
If the cow needs the mouse and the cow is not round then the mouse needs the cow.
((("cow" "needs" "mouse" "+") ("cow" "is" "round" "~")) -> ("mouse" "needs" "cow" "+"))
If the mouse is rough then the mouse does not need the cow.
((("mouse" "is" "rough" "+")) -> ("mouse" "needs" "cow" "-"))
If something is round then it does not need the mouse.
((("something" "is" "round" "+")) -> ("something" "needs" "mouse" "-"))
If something visits the cow then the cow needs the mouse.
((("something" "visits" "cow" "+")) -> ("cow" "needs" "mouse" "+"))
If something eats the cow and the cow visits the squirrel then the squirrel needs the cow.
((("something" "eats" "cow" "+") ("cow" "visits" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
If the dog is round and the dog eats the squirrel then the dog does not need the squirrel.
((("dog" "is" "round" "+") ("dog" "eats" "squirrel" "+")) -> ("dog" "needs" "squirrel" "-"))
If something visits the cow and it is cold then the cow visits the squirrel.
((("something" "visits" "cow" "+") ("something" "is" "cold" "+")) -> ("cow" "visits" "squirrel" "+"))
The mouse is cold.
True
1
proof
[(triple13)]
("mouse" "is" "cold" "+")
triple13
The dog does not need the squirrel.
False
1
inv-proof
[(triple7)]
("dog" "needs" "squirrel" "-")
triple7
The squirrel does not need the mouse.
True
2
proof
[(((triple16) -> rule4))]
("squirrel" "needs" "mouse" "-")
((triple16) -> (rule4 % int1))
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
int1
The squirrel needs the mouse.
False
2
inv-proof
[(((triple16) -> rule4))]
("squirrel" "needs" "mouse" "+")
((triple16) -> (rule4 % int1))
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
int1
The squirrel does not need the cow.
Unknown
inv-rconc
[@2: The squirrel needs the cow.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("squirrel" "needs" "cow" "-")
The cow eats the cow.
Unknown
rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The dog needs the cow.
Unknown
random
[@0: The dog needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cow" "+")
@0: The cow does not visit the dog.[(triple3)] The cow eats the mouse.[(triple1)] The cow is cold.[(triple2)] The cow visits the mouse.[(triple4)] The dog eats the mouse.[(triple5)] The dog is not round.[(triple6)] The dog needs the squirrel.[(triple7)] The dog visits the mouse.[(triple8)] The dog visits the squirrel.[(triple9)] The mouse eats the cow.[(triple10)] The mouse eats the dog.[(triple11)] The mouse eats the squirrel.[(triple12)] The mouse is cold.[(triple13)] The mouse needs the squirrel.[(triple14)] The squirrel is not nice.[(triple15)] The squirrel is round.[(triple16)] @1: The squirrel does not need the mouse.[(((triple16) -> rule4))]
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple5
The dog is not round.
("dog" "is" "round" "-")
triple6
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple8
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple9
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple11
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple14
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple15
The squirrel is round.
("squirrel" "is" "round" "+")
triple16
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
((triple16) -> (rule4 % int1))
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
int1