The dog eats the squirrel. The dog is rough. The dog is round. The dog likes the squirrel. The dog needs the squirrel. The squirrel eats the dog. The squirrel is big. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel likes the dog. The squirrel needs the dog. If the dog needs the squirrel then the squirrel likes the dog. If something is round and it eats the dog then the dog is kind. If something eats the squirrel then it eats the dog.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If the dog needs the squirrel then the squirrel likes the dog.
((("dog" "needs" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If something is round and it eats the dog then the dog is kind.
((("something" "is" "round" "+") ("something" "eats" "dog" "+")) -> ("dog" "is" "kind" "+"))
If something eats the squirrel then it eats the dog.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "dog" "+"))
The dog likes the squirrel.
True
1
proof
[(triple4)]
("dog" "likes" "squirrel" "+")
triple4
The dog does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "eats" "squirrel" "-")
triple1
The dog eats the dog.
True
2
proof
[(((triple1) -> rule3))]
("dog" "eats" "dog" "+")
((triple1) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not eat the dog.
False
2
inv-proof
[(((triple1) -> rule3))]
("dog" "eats" "dog" "-")
((triple1) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is kind.
True
4
proof
[(((triple3 ((triple1) -> rule3)) -> rule2))]
("dog" "is" "kind" "+")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog is not kind.
False
4
inv-proof
[(((triple3 ((triple1) -> rule3)) -> rule2))]
("dog" "is" "kind" "-")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog eats the dog.
("dog" "eats" "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 likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
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 eats the squirrel.[(triple1)] The dog is rough.[(triple2)] The dog is round.[(triple3)] The dog likes the squirrel.[(triple4)] The dog needs the squirrel.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel is big.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the dog.[(triple11 OR ((triple5) -> rule1))] The squirrel needs the dog.[(triple12)] @1: The dog eats the dog.[(((triple1) -> rule3))] @2: The dog is kind.[(((triple3 ((triple1) -> rule3)) -> rule2))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple5
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple11
((triple5) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple12
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple1) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2