The bear is cold. The bear is red. The bear needs the squirrel. The bear sees the squirrel. The bear visits the squirrel. The dog is blue. The dog is cold. The dog is kind. The dog needs the squirrel. The dog visits the squirrel. The squirrel is blue. The squirrel is rough. The squirrel needs the bear. The squirrel needs the dog. The squirrel sees the bear. The squirrel visits the bear. If someone is kind and they see the squirrel then the squirrel is rough. If someone is cold and rough then they visit the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone is kind and they see the squirrel then the squirrel is rough.
((("someone" "is" "kind" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is cold and rough then they visit the bear.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "visits" "bear" "+"))
The squirrel visits the bear.
True
1
proof
[(triple16)]
("squirrel" "visits" "bear" "+")
triple16
The bear is not red.
False
1
inv-proof
[(triple2)]
("bear" "is" "red" "-")
triple2
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "bear" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear needs the squirrel.[(triple3)] The bear sees the squirrel.[(triple4)] The bear visits the squirrel.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog is kind.[(triple8)] The dog needs the squirrel.[(triple9)] The dog visits the squirrel.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is rough.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel visits the bear.[(triple16)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
The dog is blue.
("dog" "is" "blue" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple9
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple14
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple15
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple16