The bear chases the squirrel. The bear sees the squirrel. The squirrel does not chase the bear. The squirrel is not red. The squirrel is rough. The squirrel likes the bear. The squirrel sees the bear. If someone chases the squirrel and they are red then they are green. If someone is cold then they see the bear. If someone likes the bear and they are not red then the bear is big. If someone sees the squirrel then the squirrel is green. If the bear is cold and the bear chases the squirrel then the squirrel is rough. If someone is green and they like the bear then the bear is not rough. If someone sees the bear then the bear chases the squirrel. If someone sees the bear then they chase the squirrel.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If someone chases the squirrel and they are red then they are green.
((("someone" "chases" "squirrel" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they see the bear.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bear" "+"))
If someone likes the bear and they are not red then the bear is big.
((("someone" "likes" "bear" "+") ("someone" "is" "red" "~")) -> ("bear" "is" "big" "+"))
If someone sees the squirrel then the squirrel is green.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If the bear is cold and the bear chases the squirrel then the squirrel is rough.
((("bear" "is" "cold" "+") ("bear" "chases" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is green and they like the bear then the bear is not rough.
((("someone" "is" "green" "+") ("someone" "likes" "bear" "+")) -> ("bear" "is" "rough" "-"))
If someone sees the bear then the bear chases the squirrel.
((("someone" "sees" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If someone sees the bear then they chase the squirrel.
((("someone" "sees" "bear" "+")) -> ("someone" "chases" "squirrel" "+"))
The squirrel sees the bear.
True
1
proof
[(triple7)]
("squirrel" "sees" "bear" "+")
triple7
The bear does not chase the squirrel.
False
1
inv-proof
[(triple1 OR ((triple7) -> rule7))]
("bear" "chases" "squirrel" "-")
triple1
((triple7) -> (rule7 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The squirrel chases the squirrel.
True
2
proof
[(((triple7) -> rule8))]
("squirrel" "chases" "squirrel" "+")
((triple7) -> (rule8 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple7) -> rule8))]
("squirrel" "chases" "squirrel" "-")
((triple7) -> (rule8 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bear is not rough.
True
4
proof
[(((((triple2) -> rule4) triple6) -> rule6))]
("bear" "is" "rough" "-")
((((triple2) -> (rule4 % int2)) triple6) -> (rule6 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The bear is rough.
False
4
inv-proof
[(((((triple2) -> rule4) triple6) -> rule6))]
("bear" "is" "rough" "+")
((((triple2) -> (rule4 % int2)) triple6) -> (rule6 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "green" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The bear likes the squirrel.
Unknown
random
[@0: The bear likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1 OR ((triple7) -> rule7))] The bear sees the squirrel.[(triple2)] The squirrel does not chase the bear.[(triple3)] The squirrel is not red.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The bear is big.[(((triple6 triple4) -> rule3))] The squirrel chases the squirrel.[(((triple7) -> rule8))] The squirrel is green.[(((triple2) -> rule4))] @2: The bear is not rough.[(((((triple2) -> rule4) triple6) -> rule6))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
((triple7) -> (rule7 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple2
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple3
The squirrel is not red.
("squirrel" "is" "red" "-")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple6
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple7
The bear is big.
("bear" "is" "big" "+")
((triple6 triple4) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple7) -> (rule8 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple2) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bear is not rough.
("bear" "is" "rough" "-")
((((triple2) -> (rule4 % int2)) triple6) -> (rule6 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2