The bear is cold. The bear is nice. The bear likes the squirrel. The dog is cold. The dog is red. The dog needs the bear. The dog sees the bear. The squirrel is green. The squirrel is red. The squirrel likes the dog. The squirrel needs the bear. The squirrel sees the bear. If the squirrel is red then the squirrel is nice.
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If the squirrel is red then the squirrel is nice.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "nice" "+"))
The dog needs the bear.
True
1
proof
[(triple6)]
("dog" "needs" "bear" "+")
triple6
The squirrel is not green.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "green" "-")
triple8
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bear needs the dog.
Unknown
random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "+")
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2)] The bear likes the squirrel.[(triple3)] The dog is cold.[(triple4)] The dog is red.[(triple5)] The dog needs the bear.[(triple6)] The dog sees the bear.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The squirrel is nice.[(((triple9) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog needs the bear.
("dog" "needs" "bear" "+")
triple6
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple9) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1