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