The bear is big. The bear is green. The bear likes the rabbit. The bear sees the rabbit. The bear visits the rabbit. The rabbit is big. The rabbit is blue. The rabbit is rough. The rabbit likes the bear. The rabbit sees the bear. If someone visits the bear and they see the rabbit then the bear sees the rabbit. If the bear is cold and the bear visits the rabbit then the rabbit sees the bear.
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If someone visits the bear and they see the rabbit then the bear sees the rabbit.
((("someone" "visits" "bear" "+") ("someone" "sees" "rabbit" "+")) -> ("bear" "sees" "rabbit" "+"))
If the bear is cold and the bear visits the rabbit then the rabbit sees the bear.
((("bear" "is" "cold" "+") ("bear" "visits" "rabbit" "+")) -> ("rabbit" "sees" "bear" "+"))
The rabbit sees the bear.
True
1
proof
[(triple10)]
("rabbit" "sees" "bear" "+")
triple10
The bear is not green.
False
1
inv-proof
[(triple2)]
("bear" "is" "green" "-")
triple2
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 rabbit visits the bear.
Unknown
random
[@0: The rabbit visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bear" "+")
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The bear likes the rabbit.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The rabbit is big.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit sees the bear.[(triple10)]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple5
The rabbit is big.
("rabbit" "is" "big" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10