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