The bear eats the squirrel. The bear is cold. The bear is green. The bear is red. The bear is rough. The bear is round. The bear needs the squirrel. The bear sees the squirrel. The squirrel eats the bear. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel needs the bear. The squirrel sees the bear. If something is green and it sees the bear then it is cold.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something is green and it sees the bear then it is cold.
((("something" "is" "green" "+") ("something" "sees" "bear" "+")) -> ("something" "is" "cold" "+"))
The bear is green.
True
1
proof
[(triple3)]
("bear" "is" "green" "+")
triple3
The squirrel does not see the bear.
False
1
inv-proof
[(triple15)]
("squirrel" "sees" "bear" "-")
triple15
The squirrel is cold.
True
3
proof
[(((triple10 triple15) -> rule1))]
("squirrel" "is" "cold" "+")
((triple10 triple15) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
3
inv-proof
[(((triple10 triple15) -> rule1))]
("squirrel" "is" "cold" "-")
((triple10 triple15) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear needs the squirrel.[(triple7)] The bear sees the squirrel.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel is green.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel sees the bear.[(triple15)] @1: The squirrel is cold.[(((triple10 triple15) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple8
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple14
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple10 triple15) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1