The bear is cold. The dog is nice. The squirrel eats the dog. If someone is round then they like the dog. If the dog is nice then the dog likes the squirrel. If someone likes the bear and the bear eats the dog then they see the bear. If someone is nice then they like the bear. If the bear sees the dog then the bear eats the dog. If the bear is young then the bear likes the squirrel. If someone is green and they eat the dog then they see the squirrel. If someone likes the squirrel then the squirrel is round.
The bear is cold.
("bear" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
If someone is round then they like the dog.
((("someone" "is" "round" "+")) -> ("someone" "likes" "dog" "+"))
If the dog is nice then the dog likes the squirrel.
((("dog" "is" "nice" "+")) -> ("dog" "likes" "squirrel" "+"))
If someone likes the bear and the bear eats the dog then they see the bear.
((("someone" "likes" "bear" "+") ("bear" "eats" "dog" "+")) -> ("someone" "sees" "bear" "+"))
If someone is nice then they like the bear.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bear" "+"))
If the bear sees the dog then the bear eats the dog.
((("bear" "sees" "dog" "+")) -> ("bear" "eats" "dog" "+"))
If the bear is young then the bear likes the squirrel.
((("bear" "is" "young" "+")) -> ("bear" "likes" "squirrel" "+"))
If someone is green and they eat the dog then they see the squirrel.
((("someone" "is" "green" "+") ("someone" "eats" "dog" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone likes the squirrel then the squirrel is round.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
The squirrel eats the dog.
True
1
proof
[(triple3)]
("squirrel" "eats" "dog" "+")
triple3
The dog is not nice.
False
1
inv-proof
[(triple2)]
("dog" "is" "nice" "-")
triple2
The dog likes the squirrel.
True
2
proof
[(((triple2) -> rule2))]
("dog" "likes" "squirrel" "+")
((triple2) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog does not like the squirrel.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "likes" "squirrel" "-")
((triple2) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel is round.
True
3
proof
[(((((triple2) -> rule2)) -> rule8))]
("squirrel" "is" "round" "+")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The squirrel is not round.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule8))]
("squirrel" "is" "round" "-")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The dog does not see the squirrel.
Unknown
inv-rconc
[@1: The dog sees the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "sees" "squirrel" "-")
The bear sees the squirrel.
Unknown
rconc
[@1: The bear sees the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "sees" "squirrel" "+")
The bear does not like the squirrel.
Unknown
inv-rconc
[@1: The bear likes the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "squirrel" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The squirrel sees the dog.
Unknown
random
[@0: The squirrel sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "dog" "+")
@0: The bear is cold.[(triple1)] The dog is nice.[(triple2)] The squirrel eats the dog.[(triple3)] @1: The dog likes the bear.[(((triple2) -> rule4))] The dog likes the squirrel.[(((triple2) -> rule2))] @2: The squirrel is round.[(((((triple2) -> rule2)) -> rule8))] @3: The squirrel likes the dog.[(((((((triple2) -> rule2)) -> rule8)) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple3
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple2) -> (rule4 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple2) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int2
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((((((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int3