The bear eats the rabbit. The bear sees the rabbit. The cat is not blue. The cat is kind. The cat needs the bear. The cat needs the rabbit. The cat does not see the bear. The cat does not see the rabbit. The rabbit eats the bear. The rabbit is not green. The rabbit needs the bear. The rabbit sees the cat. If something eats the bear then the bear is kind.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat does not see the bear.
("cat" "sees" "bear" "-")
The cat does not see the rabbit.
("cat" "sees" "rabbit" "-")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If something eats the bear then the bear is kind.
((("something" "eats" "bear" "+")) -> ("bear" "is" "kind" "+"))
The cat is kind.
True
1
proof
[(triple4)]
("cat" "is" "kind" "+")
triple4
The cat does not need the rabbit.
False
1
inv-proof
[(triple6)]
("cat" "needs" "rabbit" "-")
triple6
The bear does not need the rabbit.
Unknown
inv-random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bear eats the rabbit.[(triple1)] The bear sees the rabbit.[(triple2)] The cat does not see the bear.[(triple7)] The cat does not see the rabbit.[(triple8)] The cat is kind.[(triple4)] The cat is not blue.[(triple3)] The cat needs the bear.[(triple5)] The cat needs the rabbit.[(triple6)] The rabbit eats the bear.[(triple9)] The rabbit is not green.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit sees the cat.[(triple12)] @1: The bear is kind.[(((triple9) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple2
The cat does not see the bear.
("cat" "sees" "bear" "-")
triple7
The cat does not see the rabbit.
("cat" "sees" "rabbit" "-")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is not blue.
("cat" "is" "blue" "-")
triple3
The cat needs the bear.
("cat" "needs" "bear" "+")
triple5
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple6
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple9
The rabbit is not green.
("rabbit" "is" "green" "-")
triple10
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple11
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple12
The bear is kind.
("bear" "is" "kind" "+")
((triple9) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1