The dog does not chase the squirrel. The dog is kind. The dog is rough. The dog visits the squirrel. The squirrel chases the dog. The squirrel is not blue. The squirrel is kind. The squirrel is red. The squirrel is not rough. The squirrel needs the dog. If something visits the squirrel then it is not cold.
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something visits the squirrel then it is not cold.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "cold" "-"))
The squirrel is not rough.
True
1
proof
[(triple9)]
("squirrel" "is" "rough" "-")
triple9
The squirrel is rough.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "rough" "+")
triple9
The dog is not cold.
True
2
proof
[(((triple4) -> rule1))]
("dog" "is" "cold" "-")
((triple4) -> (rule1 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("dog" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
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 squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The dog does not chase the squirrel.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3)] The dog visits the squirrel.[(triple4)] The squirrel chases the dog.[(triple5)] The squirrel is kind.[(triple7)] The squirrel is not blue.[(triple6)] The squirrel is not rough.[(triple9)] The squirrel is red.[(triple8)] The squirrel needs the dog.[(triple10)] @1: The dog is not cold.[(((triple4) -> rule1))]
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple4
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple6
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple10
The dog is not cold.
("dog" "is" "cold" "-")
((triple4) -> (rule1 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1