The bear does not chase the squirrel. The bear is not big. The bear is green. The bear is kind. The bear is red. The bear does not like the squirrel. The bear needs the squirrel. The squirrel chases the bear. The squirrel is big. The squirrel is not cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel likes the bear. The squirrel needs the bear. If someone chases the squirrel and the squirrel needs the bear then they need the squirrel. If someone is green then they chase the bear. Big people are not cold. If the bear is not big then the bear is green. If the bear likes the squirrel then the bear is not red. If someone needs the squirrel and they are not green then they do not like the squirrel.
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
The bear is not big.
("bear" "is" "big" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone chases the squirrel and the squirrel needs the bear then they need the squirrel.
((("someone" "chases" "squirrel" "+") ("squirrel" "needs" "bear" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is green then they chase the bear.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bear" "+"))
Big people are not cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "-"))
If the bear is not big then the bear is green.
((("bear" "is" "big" "~")) -> ("bear" "is" "green" "+"))
If the bear likes the squirrel then the bear is not red.
((("bear" "likes" "squirrel" "+")) -> ("bear" "is" "red" "-"))
If someone needs the squirrel and they are not green then they do not like the squirrel.
((("someone" "needs" "squirrel" "+") ("someone" "is" "green" "~")) -> ("someone" "likes" "squirrel" "-"))
The bear does not chase the squirrel.
True
1
proof
[(triple1)]
("bear" "chases" "squirrel" "-")
triple1
The bear is not red.
False
1
inv-proof
[(triple5)]
("bear" "is" "red" "-")
triple5
The bear chases the bear.
True
2
proof
[(((triple3) -> rule2) OR ((((triple2) -> rule4)) -> rule2))]
("bear" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not chase the bear.
False
2
inv-proof
[(((triple3) -> rule2) OR ((((triple2) -> rule4)) -> rule2))]
("bear" "chases" "bear" "-")
((triple3) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bear does not chase the squirrel.[(triple1)] The bear does not like the squirrel.[(triple6)] The bear is green.[(triple3 OR ((triple2) -> rule4))] The bear is kind.[(triple4)] The bear is not big.[(triple2)] The bear is red.[(triple5)] The bear needs the squirrel.[(triple7)] The squirrel chases the bear.[(triple8 OR ((triple11) -> rule2))] The squirrel is big.[(triple9)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is not cold.[(triple10 OR ((triple9) -> rule3))] The squirrel is red.[(triple13)] The squirrel likes the bear.[(triple14)] The squirrel needs the bear.[(triple15)] @1: The bear chases the bear.[(((triple3) -> rule2) OR ((((triple2) -> rule4)) -> rule2))]
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
triple1
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
triple6
The bear is green.
("bear" "is" "green" "+")
triple3
((triple2) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is not big.
("bear" "is" "big" "-")
triple2
The bear is red.
("bear" "is" "red" "+")
triple5
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple8
((triple11) -> (rule2 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple10
((triple9) -> (rule3 % int1))
The squirrel is not cold.
("squirrel" "is" "cold" "-")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple14
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2