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