The dog eats the squirrel. The dog does not like the squirrel. The squirrel likes the dog. If someone likes the dog then they do not eat the squirrel. If someone eats the squirrel and they do not like the dog then the dog visits the squirrel. If someone eats the dog then the dog is rough. If someone is young and they eat the dog then they are rough. If the squirrel likes the dog then the squirrel is young. Rough people are not green. If the dog does not like the squirrel then the squirrel eats the dog. If someone is green and they do not eat the squirrel then the squirrel is red.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone likes the dog then they do not eat the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "eats" "squirrel" "-"))
If someone eats the squirrel and they do not like the dog then the dog visits the squirrel.
((("someone" "eats" "squirrel" "+") ("someone" "likes" "dog" "~")) -> ("dog" "visits" "squirrel" "+"))
If someone eats the dog then the dog is rough.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "rough" "+"))
If someone is young and they eat the dog then they are rough.
((("someone" "is" "young" "+") ("someone" "eats" "dog" "+")) -> ("someone" "is" "rough" "+"))
If the squirrel likes the dog then the squirrel is young.
((("squirrel" "likes" "dog" "+")) -> ("squirrel" "is" "young" "+"))
Rough people are not green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "-"))
If the dog does not like the squirrel then the squirrel eats the dog.
((("dog" "likes" "squirrel" "~")) -> ("squirrel" "eats" "dog" "+"))
If someone is green and they do not eat the squirrel then the squirrel is red.
((("someone" "is" "green" "+") ("someone" "eats" "squirrel" "~")) -> ("squirrel" "is" "red" "+"))
The dog eats the squirrel.
True
1
proof
[(triple1)]
("dog" "eats" "squirrel" "+")
triple1
The dog does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "eats" "squirrel" "-")
triple1
The squirrel eats the dog.
True
2
proof
[(((triple2) -> rule7))]
("squirrel" "eats" "dog" "+")
((triple2) -> (rule7 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel does not eat the dog.
False
2
inv-proof
[(((triple2) -> rule7))]
("squirrel" "eats" "dog" "-")
((triple2) -> (rule7 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The dog is rough.
True
3
proof
[(((((triple2) -> rule7)) -> rule3))]
("dog" "is" "rough" "+")
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is not rough.
False
5
inv-proof
[(((((triple3) -> rule5) ((triple2) -> rule7)) -> rule4))]
("squirrel" "is" "rough" "-")
((((triple3) -> (rule5 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is not green.
True
6
proof
[(((((((triple3) -> rule5) ((triple2) -> rule7)) -> rule4)) -> rule6))]
("squirrel" "is" "green" "-")
((((((triple3) -> (rule5 % int4)) ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is green.
False
6
inv-proof
[(((((((triple3) -> rule5) ((triple2) -> rule7)) -> rule4)) -> rule6))]
("squirrel" "is" "green" "+")
((((((triple3) -> (rule5 % int4)) ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is not red.
Unknown
inv-rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "red" "-")
The dog visits the squirrel.
Unknown
rconc
[@1: The dog visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "squirrel" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
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 nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog does not like the squirrel.[(triple2)] The dog eats the squirrel.[(triple1)] The squirrel likes the dog.[(triple3)] @1: The squirrel does not eat the squirrel.[(((triple3) -> rule1))] The squirrel eats the dog.[(((triple2) -> rule7))] The squirrel is young.[(((triple3) -> rule5))] @2: The dog is rough.[(((((triple2) -> rule7)) -> rule3))] The squirrel is rough.[(((((triple3) -> rule5) ((triple2) -> rule7)) -> rule4))] @3: The dog is not green.[(((((((triple2) -> rule7)) -> rule3)) -> rule6))] The squirrel is not green.[(((((((triple3) -> rule5) ((triple2) -> rule7)) -> rule4)) -> rule6))]
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple3
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
((triple3) -> (rule1 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((triple2) -> (rule7 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple3) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple3) -> (rule5 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The dog is not green.
("dog" "is" "green" "-")
((((((triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The dog is not green.
("dog" "is" "green" "-")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int3
The squirrel is not green.
("squirrel" "is" "green" "-")
((((((triple3) -> (rule5 % int4)) ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4