The dog eats the mouse. The dog eats the squirrel. The dog does not visit the mouse. The dog visits the squirrel. The mouse eats the dog. The mouse is green. The mouse visits the dog. The mouse visits the squirrel. The squirrel eats the dog. The squirrel eats the mouse. The squirrel is big. The squirrel is not kind. The squirrel is not red. The squirrel needs the dog. The squirrel needs the mouse. The squirrel visits the mouse. If something eats the mouse then the mouse is kind.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is green.
("mouse" "is" "green" "+")
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 eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something eats the mouse then the mouse is kind.
((("something" "eats" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
The mouse eats the dog.
True
1
proof
[(triple5)]
("mouse" "eats" "dog" "+")
triple5
The squirrel does not eat the mouse.
False
1
inv-proof
[(triple10)]
("squirrel" "eats" "mouse" "-")
triple10
The mouse is kind.
True
2
proof
[(((triple1) -> rule1) OR ((triple10) -> rule1))]
("mouse" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple10) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple10) -> rule1))]
("mouse" "is" "kind" "-")
((triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple10) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The mouse needs the dog.
Unknown
random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "+")
@0: The dog does not visit the mouse.[(triple3)] The dog eats the mouse.[(triple1)] The dog eats the squirrel.[(triple2)] The dog visits the squirrel.[(triple4)] The mouse eats the dog.[(triple5)] The mouse is green.[(triple6)] The mouse visits the dog.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is big.[(triple11)] The squirrel is not kind.[(triple12)] The squirrel is not red.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel needs the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The mouse is kind.[(((triple1) -> rule1) OR ((triple10) -> rule1))]
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
triple3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple4
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple6
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple12
The squirrel is not red.
("squirrel" "is" "red" "-")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple16
The mouse is kind.
("mouse" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple10) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1