The dog is kind. The dog does not like the squirrel. The dog needs the squirrel. The squirrel does not eat the dog. The squirrel is green. The squirrel does not like the dog. The squirrel needs the dog. If someone needs the dog and they like the squirrel then the dog needs the squirrel. If someone is rough then they eat the dog. If someone is rough and young then they are kind. If someone is big and they like the dog then they eat the squirrel. If someone needs the squirrel then they eat the squirrel. If someone needs the squirrel and they eat the squirrel then they are young. If someone needs the squirrel and the squirrel eats the dog then the squirrel is kind. If someone needs the squirrel and they are rough then the squirrel needs the dog.
The dog is kind.
("dog" "is" "kind" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone needs the dog and they like the squirrel then the dog needs the squirrel.
((("someone" "needs" "dog" "+") ("someone" "likes" "squirrel" "+")) -> ("dog" "needs" "squirrel" "+"))
If someone is rough then they eat the dog.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "dog" "+"))
If someone is rough and young then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and they like the dog then they eat the squirrel.
((("someone" "is" "big" "+") ("someone" "likes" "dog" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone needs the squirrel then they eat the squirrel.
((("someone" "needs" "squirrel" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone needs the squirrel and they eat the squirrel then they are young.
((("someone" "needs" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "is" "young" "+"))
If someone needs the squirrel and the squirrel eats the dog then the squirrel is kind.
((("someone" "needs" "squirrel" "+") ("squirrel" "eats" "dog" "+")) -> ("squirrel" "is" "kind" "+"))
If someone needs the squirrel and they are rough then the squirrel needs the dog.
((("someone" "needs" "squirrel" "+") ("someone" "is" "rough" "+")) -> ("squirrel" "needs" "dog" "+"))
The dog needs the squirrel.
True
1
proof
[(triple3)]
("dog" "needs" "squirrel" "+")
triple3
The squirrel eats the dog.
False
1
inv-proof
[(triple4)]
("squirrel" "eats" "dog" "+")
triple4
The dog eats the squirrel.
True
2
proof
[(((triple3) -> rule5))]
("dog" "eats" "squirrel" "+")
((triple3) -> (rule5 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog does not eat the squirrel.
False
2
inv-proof
[(((triple3) -> rule5))]
("dog" "eats" "squirrel" "-")
((triple3) -> (rule5 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is young.
True
4
proof
[(((triple3 ((triple3) -> rule5)) -> rule6))]
("dog" "is" "young" "+")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog is not young.
False
4
inv-proof
[(((triple3 ((triple3) -> rule5)) -> rule6))]
("dog" "is" "young" "-")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "dog" "-")
The squirrel eats the squirrel.
Unknown
rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The dog does not like the squirrel.[(triple2)] The dog is kind.[(triple1)] The dog needs the squirrel.[(triple3)] The squirrel does not eat the dog.[(triple4)] The squirrel does not like the dog.[(triple6)] The squirrel is green.[(triple5)] The squirrel needs the dog.[(triple7)] @1: The dog eats the squirrel.[(((triple3) -> rule5))] @2: The dog is young.[(((triple3 ((triple3) -> rule5)) -> rule6))]
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple3
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple4
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple5
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple7
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple3) -> (rule5 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2