The bear is not rough. The bear does not need the mouse. The bear sees the mouse. The dog is not cold. The dog is kind. The dog needs the bear. The dog needs the rabbit. The dog sees the rabbit. The mouse is kind. The mouse sees the bear. The mouse does not see the dog. The rabbit needs the mouse. If someone chases the dog and they do not need the rabbit then the rabbit chases the bear. If someone needs the bear and they are rough then they need the dog. If someone is young then they are cold. If the dog sees the rabbit then the rabbit is kind. If the rabbit chases the mouse and the mouse sees the bear then the rabbit chases the dog. If the rabbit is not rough then the rabbit sees the mouse. If someone needs the bear and the bear sees the dog then the bear sees the mouse. If the bear chases the dog and the bear chases the rabbit then the rabbit is big.
The bear is not rough.
("bear" "is" "rough" "-")
The bear does not need the mouse.
("bear" "needs" "mouse" "-")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse does not see the dog.
("mouse" "sees" "dog" "-")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If someone chases the dog and they do not need the rabbit then the rabbit chases the bear.
((("someone" "chases" "dog" "+") ("someone" "needs" "rabbit" "~")) -> ("rabbit" "chases" "bear" "+"))
If someone needs the bear and they are rough then they need the dog.
((("someone" "needs" "bear" "+") ("someone" "is" "rough" "+")) -> ("someone" "needs" "dog" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If the dog sees the rabbit then the rabbit is kind.
((("dog" "sees" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the rabbit chases the mouse and the mouse sees the bear then the rabbit chases the dog.
((("rabbit" "chases" "mouse" "+") ("mouse" "sees" "bear" "+")) -> ("rabbit" "chases" "dog" "+"))
If the rabbit is not rough then the rabbit sees the mouse.
((("rabbit" "is" "rough" "~")) -> ("rabbit" "sees" "mouse" "+"))
If someone needs the bear and the bear sees the dog then the bear sees the mouse.
((("someone" "needs" "bear" "+") ("bear" "sees" "dog" "+")) -> ("bear" "sees" "mouse" "+"))
If the bear chases the dog and the bear chases the rabbit then the rabbit is big.
((("bear" "chases" "dog" "+") ("bear" "chases" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
The mouse is kind.
True
1
proof
[(triple9)]
("mouse" "is" "kind" "+")
triple9
The rabbit does not need the mouse.
False
1
inv-proof
[(triple12)]
("rabbit" "needs" "mouse" "-")
triple12
The rabbit is kind.
True
2
proof
[(((triple8) -> rule4))]
("rabbit" "is" "kind" "+")
((triple8) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple8) -> rule4))]
("rabbit" "is" "kind" "-")
((triple8) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "-")
The bear needs the dog.
Unknown
rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "needs" "dog" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bear does not need the mouse.[(triple2)] The bear is not rough.[(triple1)] The bear sees the mouse.[(triple3)] The dog is kind.[(triple5)] The dog is not cold.[(triple4)] The dog needs the bear.[(triple6)] The dog needs the rabbit.[(triple7)] The dog sees the rabbit.[(triple8)] The mouse does not see the dog.[(triple11)] The mouse is kind.[(triple9)] The mouse sees the bear.[(triple10)] The rabbit needs the mouse.[(triple12)] @1: The rabbit is kind.[(((triple8) -> rule4))]
The bear does not need the mouse.
("bear" "needs" "mouse" "-")
triple2
The bear is not rough.
("bear" "is" "rough" "-")
triple1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is not cold.
("dog" "is" "cold" "-")
triple4
The dog needs the bear.
("dog" "needs" "bear" "+")
triple6
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple7
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple8
The mouse does not see the dog.
("mouse" "sees" "dog" "-")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple10
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple8) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1