The bear is big. The bear is blue. The bear is not kind. The bear is nice. The bear is round. The bear needs the rabbit. The bear does not see the rabbit. The bear does not visit the rabbit. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is round. The rabbit needs the bear. The rabbit sees the bear. The rabbit visits the bear. If someone sees the rabbit then the rabbit sees the bear.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone sees the rabbit then the rabbit sees the bear.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "sees" "bear" "+"))
The rabbit sees the bear.
True
1
proof
[(triple14)]
("rabbit" "sees" "bear" "+")
triple14
The bear is not nice.
False
1
inv-proof
[(triple4)]
("bear" "is" "nice" "-")
triple4
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear does not see the rabbit.[(triple7)] The bear does not visit the rabbit.[(triple8)] The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple4)] The bear is not kind.[(triple3)] The bear is round.[(triple5)] The bear needs the rabbit.[(triple6)] The rabbit is big.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is round.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit visits the bear.[(triple15)]
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
triple7
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
triple8
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is not kind.
("bear" "is" "kind" "-")
triple3
The bear is round.
("bear" "is" "round" "+")
triple5
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple13
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple14
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple15