The bear eats the rabbit. The bear is blue. The bear is not green. The bear is kind. The bear is nice. The bear is round. The bear does not need the rabbit. The bear sees the rabbit. The rabbit eats the bear. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is not nice. The rabbit is round. The rabbit needs the bear. The rabbit sees the bear. If the rabbit eats the bear and the bear needs the rabbit then the bear sees the rabbit. If someone sees the rabbit then they do not need the rabbit. If someone needs the rabbit then they see the rabbit. If someone is nice and not green then they need the bear. If someone needs the bear and they do not need the rabbit then they are blue. If someone needs the rabbit and the rabbit is not blue then the rabbit sees the bear.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is not 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" "+")
If the rabbit eats the bear and the bear needs the rabbit then the bear sees the rabbit.
((("rabbit" "eats" "bear" "+") ("bear" "needs" "rabbit" "+")) -> ("bear" "sees" "rabbit" "+"))
If someone sees the rabbit then they do not need the rabbit.
((("someone" "sees" "rabbit" "+")) -> ("someone" "needs" "rabbit" "-"))
If someone needs the rabbit then they see the rabbit.
((("someone" "needs" "rabbit" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone is nice and not green then they need the bear.
((("someone" "is" "nice" "+") ("someone" "is" "green" "~")) -> ("someone" "needs" "bear" "+"))
If someone needs the bear and they do not need the rabbit then they are blue.
((("someone" "needs" "bear" "+") ("someone" "needs" "rabbit" "~")) -> ("someone" "is" "blue" "+"))
If someone needs the rabbit and the rabbit is not blue then the rabbit sees the bear.
((("someone" "needs" "rabbit" "+") ("rabbit" "is" "blue" "~")) -> ("rabbit" "sees" "bear" "+"))
The rabbit is not nice.
True
1
proof
[(triple13)]
("rabbit" "is" "nice" "-")
triple13
The bear needs the rabbit.
False
1
inv-proof
[(triple7 OR ((triple8) -> rule2))]
("bear" "needs" "rabbit" "+")
triple7
((triple8) -> (rule2 % int1))
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
int1
The rabbit does not see the rabbit.
Unknown
inv-rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "rabbit" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear does not need the rabbit.[(triple7 OR ((triple8) -> rule2))] The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2 OR ((((triple5 triple3) -> rule4) triple7) -> rule5) OR ((((triple5 triple3) -> rule4) ((triple8) -> rule2)) -> rule5))] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is not green.[(triple3)] The bear is round.[(triple6)] The bear sees the rabbit.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the bear.[(triple15)] The rabbit sees the bear.[(triple16)] @1: The bear needs the bear.[(((triple5 triple3) -> rule4))]
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
triple7
((triple8) -> (rule2 % int1))
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
((((triple5 triple3) -> (rule4 % int2)) triple7) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
((((triple5 triple3) -> (rule4 % int3)) ((triple8) -> (rule2 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is not green.
("bear" "is" "green" "-")
triple3
The bear is round.
("bear" "is" "round" "+")
triple6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple8
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple15
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple16
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple5 triple3) -> (rule4 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1