The dog is green. The dog does not like the squirrel. The dog sees the squirrel. The squirrel is green. The squirrel is round. The squirrel likes the dog. The squirrel needs the dog. If something needs the dog then the dog is young. If something is green and it needs the squirrel then the squirrel likes the dog.
The dog is green.
("dog" "is" "green" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something needs the dog then the dog is young.
((("something" "needs" "dog" "+")) -> ("dog" "is" "young" "+"))
If something is green and it needs the squirrel then the squirrel likes the dog.
((("something" "is" "green" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
The dog does not like the squirrel.
True
1
proof
[(triple2)]
("dog" "likes" "squirrel" "-")
triple2
The dog does not see the squirrel.
False
1
inv-proof
[(triple3)]
("dog" "sees" "squirrel" "-")
triple3
The dog is young.
True
2
proof
[(((triple7) -> rule1))]
("dog" "is" "young" "+")
((triple7) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
2
inv-proof
[(((triple7) -> rule1))]
("dog" "is" "young" "-")
((triple7) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The squirrel does not see the dog.
Unknown
inv-random
[@0: The squirrel sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "dog" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog does not like the squirrel.[(triple2)] The dog is green.[(triple1)] The dog sees the squirrel.[(triple3)] The squirrel is green.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the dog.[(triple6)] The squirrel needs the dog.[(triple7)] @1: The dog is young.[(((triple7) -> rule1))]
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple2
The dog is green.
("dog" "is" "green" "+")
triple1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple3
The squirrel is green.
("squirrel" "is" "green" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple6
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
((triple7) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1