The dog does not eat the squirrel. The dog is cold. The dog is green. The dog is nice. The dog is red. The dog is young. The dog does not like the squirrel. The dog needs the squirrel. The squirrel eats the dog. The squirrel is cold. The squirrel is not green. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel likes the dog. The squirrel needs the dog. If someone needs the squirrel then they do not like the dog. If someone needs the squirrel and they do not eat the squirrel then the squirrel likes the dog.
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone needs the squirrel then they do not like the dog.
((("someone" "needs" "squirrel" "+")) -> ("someone" "likes" "dog" "-"))
If someone needs the squirrel and they do not eat the squirrel then the squirrel likes the dog.
((("someone" "needs" "squirrel" "+") ("someone" "eats" "squirrel" "~")) -> ("squirrel" "likes" "dog" "+"))
The dog needs the squirrel.
True
1
proof
[(triple8)]
("dog" "needs" "squirrel" "+")
triple8
The dog does not need the squirrel.
False
1
inv-proof
[(triple8)]
("dog" "needs" "squirrel" "-")
triple8
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog does not eat the squirrel.[(triple1)] The dog does not like the squirrel.[(triple7)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog needs the squirrel.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple12)] The squirrel is not green.[(triple11)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the dog.[(triple15 OR ((triple8 triple1) -> rule2))] The squirrel needs the dog.[(triple16)] @1: The dog does not like the dog.[(((triple8) -> rule1))]
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
triple1
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not green.
("squirrel" "is" "green" "-")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple15
((triple8 triple1) -> (rule2 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple16
The dog does not like the dog.
("dog" "likes" "dog" "-")
((triple8) -> (rule1 % int1))
The dog does not like the dog.
("dog" "likes" "dog" "-")
int1