The dog chases the squirrel. The dog is cold. The dog is red. The dog needs the squirrel. The dog visits the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel needs the dog. The squirrel visits the dog. If something is green and it does not need the squirrel then it is not blue. If the squirrel does not chase the dog then the squirrel is green. If something needs the squirrel then it needs the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is green and it does not need the squirrel then it is not blue.
((("something" "is" "green" "+") ("something" "needs" "squirrel" "~")) -> ("something" "is" "blue" "-"))
If the squirrel does not chase the dog then the squirrel is green.
((("squirrel" "chases" "dog" "~")) -> ("squirrel" "is" "green" "+"))
If something needs the squirrel then it needs the dog.
((("something" "needs" "squirrel" "+")) -> ("something" "needs" "dog" "+"))
The dog is red.
True
1
proof
[(triple3)]
("dog" "is" "red" "+")
triple3
The squirrel is not cold.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "cold" "-")
triple8
The dog needs the dog.
True
2
proof
[(((triple4) -> rule3))]
("dog" "needs" "dog" "+")
((triple4) -> (rule3 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not need the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("dog" "needs" "dog" "-")
((triple4) -> (rule3 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is cold.[(triple2)] The dog is red.[(triple3)] The dog needs the squirrel.[(triple4)] The dog visits the squirrel.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is green.[(triple9)] The squirrel is red.[(triple10)] The squirrel needs the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The dog needs the dog.[(((triple4) -> rule3))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple5
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple4) -> (rule3 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1