The dog is big. The dog is green. The dog likes the squirrel. The dog needs the squirrel. The dog sees the squirrel. The squirrel is big. The squirrel is cold. The squirrel likes the dog. The squirrel needs the dog. The squirrel sees the dog. If someone is round and they need the dog then they see the squirrel. If someone is red and they need the dog then they do not see the squirrel. If the dog needs the squirrel then the squirrel is round.
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone is round and they need the dog then they see the squirrel.
((("someone" "is" "round" "+") ("someone" "needs" "dog" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone is red and they need the dog then they do not see the squirrel.
((("someone" "is" "red" "+") ("someone" "needs" "dog" "+")) -> ("someone" "sees" "squirrel" "-"))
If the dog needs the squirrel then the squirrel is round.
((("dog" "needs" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
The dog is green.
True
1
proof
[(triple2)]
("dog" "is" "green" "+")
triple2
The squirrel is not big.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "big" "-")
triple6
The squirrel is round.
True
2
proof
[(((triple4) -> rule3))]
("squirrel" "is" "round" "+")
((triple4) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple4) -> rule3))]
("squirrel" "is" "round" "-")
((triple4) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel sees the squirrel.
True
4
proof
[(((((triple4) -> rule3) triple9) -> rule1))]
("squirrel" "sees" "squirrel" "+")
((((triple4) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not see the squirrel.
False
4
inv-proof
[(((((triple4) -> rule3) triple9) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((((triple4) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
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 likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
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 is big.[(triple1)] The dog is green.[(triple2)] The dog likes the squirrel.[(triple3)] The dog needs the squirrel.[(triple4)] The dog sees the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel is cold.[(triple7)] The squirrel likes the dog.[(triple8)] The squirrel needs the dog.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The squirrel is round.[(((triple4) -> rule3))] @2: The squirrel sees the squirrel.[(((((triple4) -> rule3) triple9) -> rule1))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple8
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple9
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
((triple4) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((((triple4) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2