The dog eats the squirrel. The dog is blue. The dog is not cold. The dog is not round. The dog needs the squirrel. The dog sees the squirrel. The squirrel eats the dog. The squirrel is blue. The squirrel is not cold. The squirrel is not round. The squirrel needs the dog. The squirrel sees the dog. If something needs the squirrel then it eats the dog.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is not round.
("dog" "is" "round" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something needs the squirrel then it eats the dog.
((("something" "needs" "squirrel" "+")) -> ("something" "eats" "dog" "+"))
The dog sees the squirrel.
True
1
proof
[(triple6)]
("dog" "sees" "squirrel" "+")
triple6
The squirrel is cold.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "cold" "+")
triple9
The dog eats the dog.
True
2
proof
[(((triple5) -> rule1))]
("dog" "eats" "dog" "+")
((triple5) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not eat the dog.
False
2
inv-proof
[(((triple5) -> rule1))]
("dog" "eats" "dog" "-")
((triple5) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog is not cold.[(triple3)] The dog is not round.[(triple4)] The dog needs the squirrel.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel eats the dog.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is not cold.[(triple9)] The squirrel is not round.[(triple10)] The squirrel needs the dog.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The dog eats the dog.[(((triple5) -> rule1))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is not cold.
("dog" "is" "cold" "-")
triple3
The dog is not round.
("dog" "is" "round" "-")
triple4
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple5
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple6
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple9
The squirrel is not round.
("squirrel" "is" "round" "-")
triple10
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple5) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1