The bear is kind. The bear is nice. The bear likes the rabbit. The bear likes the squirrel. The bear needs the squirrel. The bear sees the squirrel. The rabbit is kind. The rabbit is nice. The rabbit likes the bear. The rabbit needs the bear. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel is nice. The squirrel is rough. The squirrel likes the bear. The squirrel likes the rabbit. If the bear needs the rabbit then the bear sees the squirrel. If something likes the bear and it likes the rabbit then the bear is kind.
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If the bear needs the rabbit then the bear sees the squirrel.
((("bear" "needs" "rabbit" "+")) -> ("bear" "sees" "squirrel" "+"))
If something likes the bear and it likes the rabbit then the bear is kind.
((("something" "likes" "bear" "+") ("something" "likes" "rabbit" "+")) -> ("bear" "is" "kind" "+"))
The bear is nice.
True
1
proof
[(triple2)]
("bear" "is" "nice" "+")
triple2
The rabbit does not see the bear.
False
1
inv-proof
[(triple11)]
("rabbit" "sees" "bear" "-")
triple11
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The squirrel needs the rabbit.
Unknown
random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "+")
@0: The bear is kind.[(triple1 OR ((triple15 triple16) -> rule2))] The bear is nice.[(triple2)] The bear likes the rabbit.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the squirrel.[(triple5)] The bear sees the squirrel.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit needs the bear.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit sees the squirrel.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel likes the rabbit.[(triple16)]
The bear is kind.
("bear" "is" "kind" "+")
triple1
((triple15 triple16) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple9
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple10
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple15
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple16