The dog eats the squirrel. The dog is blue. The dog is green. The dog is red. The dog is round. The dog likes the squirrel. The dog sees the squirrel. The squirrel eats the dog. The squirrel is blue. The squirrel is green. The squirrel likes the dog. The squirrel sees the dog. If someone likes the dog and they see the dog then the dog sees the squirrel. If someone eats the dog then the dog is kind. If someone likes the dog and they are red then the dog likes the squirrel.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone likes the dog and they see the dog then the dog sees the squirrel.
((("someone" "likes" "dog" "+") ("someone" "sees" "dog" "+")) -> ("dog" "sees" "squirrel" "+"))
If someone eats the dog then the dog is kind.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "kind" "+"))
If someone likes the dog and they are red then the dog likes the squirrel.
((("someone" "likes" "dog" "+") ("someone" "is" "red" "+")) -> ("dog" "likes" "squirrel" "+"))
The dog is red.
True
1
proof
[(triple4)]
("dog" "is" "red" "+")
triple4
The dog does not see the squirrel.
False
1
inv-proof
[(triple7 OR ((triple11 triple12) -> rule1))]
("dog" "sees" "squirrel" "-")
triple7
((triple11 triple12) -> (rule1 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog is kind.
True
2
proof
[(((triple8) -> rule2))]
("dog" "is" "kind" "+")
((triple8) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple8) -> rule2))]
("dog" "is" "kind" "-")
((triple8) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5)] The dog likes the squirrel.[(triple6)] The dog sees the squirrel.[(triple7 OR ((triple11 triple12) -> rule1))] The squirrel eats the dog.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the dog.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The dog is kind.[(((triple8) -> rule2))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple6
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple7
((triple11 triple12) -> (rule1 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
((triple8) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1