The bear does not chase the rabbit. The bear is not big. The bear is kind. The bear is nice. The bear needs the rabbit. The rabbit chases the bear. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit does not need the bear. The rabbit does not see the bear. If something sees the bear then the bear needs the rabbit. If something chases the rabbit and it chases the bear then it needs the rabbit.
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
The bear is not big.
("bear" "is" "big" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
If something sees the bear then the bear needs the rabbit.
((("something" "sees" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If something chases the rabbit and it chases the bear then it needs the rabbit.
((("something" "chases" "rabbit" "+") ("something" "chases" "bear" "+")) -> ("something" "needs" "rabbit" "+"))
The rabbit does not need the bear.
True
1
proof
[(triple11)]
("rabbit" "needs" "bear" "-")
triple11
The bear does not need the rabbit.
False
1
inv-proof
[(triple5)]
("bear" "needs" "rabbit" "-")
triple5
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bear does not chase the rabbit.[(triple1)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is not big.[(triple2)] The bear needs the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit does not need the bear.[(triple11)] The rabbit does not see the bear.[(triple12)] The rabbit is big.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10)]
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is not big.
("bear" "is" "big" "-")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple6
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
triple11
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple10