The dog is blue. The dog is green. The dog likes the squirrel. The dog visits the squirrel. The squirrel is blue. The squirrel is round. The squirrel needs the dog. If someone visits the squirrel then the squirrel visits the dog. If the squirrel likes the dog and the dog likes the squirrel then the squirrel is green. If someone visits the dog then the dog is cold. If someone needs the squirrel and the squirrel likes the dog then they like the dog. If someone likes the dog and the dog visits the squirrel then the dog is round. If someone is blue then they like the dog.
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone visits the squirrel then the squirrel visits the dog.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "dog" "+"))
If the squirrel likes the dog and the dog likes the squirrel then the squirrel is green.
((("squirrel" "likes" "dog" "+") ("dog" "likes" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone visits the dog then the dog is cold.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone needs the squirrel and the squirrel likes the dog then they like the dog.
((("someone" "needs" "squirrel" "+") ("squirrel" "likes" "dog" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the dog and the dog visits the squirrel then the dog is round.
((("someone" "likes" "dog" "+") ("dog" "visits" "squirrel" "+")) -> ("dog" "is" "round" "+"))
If someone is blue then they like the dog.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "dog" "+"))
The dog likes the squirrel.
True
1
proof
[(triple3)]
("dog" "likes" "squirrel" "+")
triple3
The dog is not green.
False
1
inv-proof
[(triple2)]
("dog" "is" "green" "-")
triple2
The squirrel visits the dog.
True
2
proof
[(((triple4) -> rule1))]
("squirrel" "visits" "dog" "+")
((triple4) -> (rule1 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The dog does not like the dog.
False
2
inv-proof
[(((triple1) -> rule6))]
("dog" "likes" "dog" "-")
((triple1) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The squirrel is green.
True
4
proof
[(((((triple5) -> rule6) triple3) -> rule2))]
("squirrel" "is" "green" "+")
((((triple5) -> (rule6 % int2)) triple3) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel is not green.
False
4
inv-proof
[(((((triple5) -> rule6) triple3) -> rule2))]
("squirrel" "is" "green" "-")
((((triple5) -> (rule6 % int2)) triple3) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "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 is blue.[(triple1)] The dog is green.[(triple2)] The dog likes the squirrel.[(triple3)] The dog visits the squirrel.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is round.[(triple6)] The squirrel needs the dog.[(triple7)] @1: The dog likes the dog.[(((triple1) -> rule6))] The squirrel likes the dog.[(((triple5) -> rule6))] The squirrel visits the dog.[(((triple4) -> rule1))] @2: The dog is cold.[(((((triple4) -> rule1)) -> rule3))] The dog is round.[(((((triple1) -> rule6) triple4) -> rule5) OR ((((triple5) -> rule6) triple4) -> rule5))] The squirrel is green.[(((((triple5) -> rule6) triple3) -> rule2))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple4
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple7
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple1) -> (rule6 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((triple5) -> (rule6 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
((triple4) -> (rule1 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
((((triple5) -> (rule6 % int2)) triple4) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple5) -> (rule6 % int2)) triple3) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2