The dog is big. The dog is not cold. The dog is not nice. The dog is red. The dog does not like the squirrel. The dog needs the squirrel. The dog visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel likes the dog. If someone likes the dog then they need the squirrel.
The dog is big.
("dog" "is" "big" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is not nice.
("dog" "is" "nice" "-")
The dog is red.
("dog" "is" "red" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone likes the dog then they need the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "needs" "squirrel" "+"))
The dog is not nice.
True
1
proof
[(triple3)]
("dog" "is" "nice" "-")
triple3
The dog does not need the squirrel.
False
1
inv-proof
[(triple6)]
("dog" "needs" "squirrel" "-")
triple6
The squirrel needs the squirrel.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "needs" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
2
inv-proof
[(((triple10) -> rule1))]
("squirrel" "needs" "squirrel" "-")
((triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog does not like the squirrel.[(triple5)] The dog is big.[(triple1)] The dog is not cold.[(triple2)] The dog is not nice.[(triple3)] The dog is red.[(triple4)] The dog needs the squirrel.[(triple6)] The dog visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is cold.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The squirrel needs the squirrel.[(((triple10) -> rule1))]
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple5
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The dog is not nice.
("dog" "is" "nice" "-")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple6
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1