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