The dog likes the squirrel. The squirrel visits the dog. If someone likes the dog then they do not chase the squirrel. If someone is kind and they visit the squirrel then the squirrel does not visit the dog. If someone chases the squirrel and they are kind then the squirrel visits the dog. If the dog likes the squirrel then the dog visits the squirrel. If someone visits the dog and the dog likes the squirrel then the squirrel likes the dog. If someone likes the squirrel then they are not round.
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone likes the dog then they do not chase the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "chases" "squirrel" "-"))
If someone is kind and they visit the squirrel then the squirrel does not visit the dog.
((("someone" "is" "kind" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "dog" "-"))
If someone chases the squirrel and they are kind then the squirrel visits the dog.
((("someone" "chases" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("squirrel" "visits" "dog" "+"))
If the dog likes the squirrel then the dog visits the squirrel.
((("dog" "likes" "squirrel" "+")) -> ("dog" "visits" "squirrel" "+"))
If someone visits the dog and the dog likes the squirrel then the squirrel likes the dog.
((("someone" "visits" "dog" "+") ("dog" "likes" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If someone likes the squirrel then they are not round.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "round" "-"))
The squirrel visits the dog.
True
1
proof
[(triple2)]
("squirrel" "visits" "dog" "+")
triple2
The squirrel does not visit the dog.
False
1
inv-proof
[(triple2)]
("squirrel" "visits" "dog" "-")
triple2
The dog is not round.
True
2
proof
[(((triple1) -> rule6))]
("dog" "is" "round" "-")
((triple1) -> (rule6 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The dog is round.
False
2
inv-proof
[(((triple1) -> rule6))]
("dog" "is" "round" "+")
((triple1) -> (rule6 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The squirrel does not chase the squirrel.
True
4
proof
[(((((triple2 triple1) -> rule5)) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((((triple2 triple1) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel chases the squirrel.
False
4
inv-proof
[(((((triple2 triple1) -> rule5)) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The dog does not chase the squirrel.
Unknown
inv-random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "-")
The squirrel chases the dog.
Unknown
random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The dog likes the squirrel.[(triple1)] The squirrel visits the dog.[(triple2)] @1: The dog is not round.[(((triple1) -> rule6))] The dog visits the squirrel.[(((triple1) -> rule4))] The squirrel likes the dog.[(((triple2 triple1) -> rule5))] @2: The squirrel does not chase the squirrel.[(((((triple2 triple1) -> rule5)) -> rule1))]
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple2
The dog is not round.
("dog" "is" "round" "-")
((triple1) -> (rule6 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((triple1) -> (rule4 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((triple2 triple1) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
((((triple2 triple1) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2