The bear is cold. The bear is red. The bear needs the dog. The bear needs the mouse. The bear does not see the tiger. The dog eats the bear. The dog eats the mouse. The dog is not cold. The dog does not need the tiger. The dog sees the mouse. The mouse does not eat the dog. The mouse is red. The mouse sees the bear. The tiger is not cold. The tiger is round. The tiger does not see the dog. If someone sees the bear then the bear is green. If the dog sees the tiger and the tiger is not round then the dog is green.
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not see the dog.
("tiger" "sees" "dog" "-")
If someone sees the bear then the bear is green.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "green" "+"))
If the dog sees the tiger and the tiger is not round then the dog is green.
((("dog" "sees" "tiger" "+") ("tiger" "is" "round" "~")) -> ("dog" "is" "green" "+"))
The mouse does not eat the dog.
True
1
proof
[(triple11)]
("mouse" "eats" "dog" "-")
triple11
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The bear is green.
True
2
proof
[(((triple13) -> rule1))]
("bear" "is" "green" "+")
((triple13) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple13) -> rule1))]
("bear" "is" "green" "-")
((triple13) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "-")
The tiger needs the bear.
Unknown
random
[@0: The tiger needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bear" "+")
The dog does not see the tiger.
Unknown
inv-random
[@0: The dog sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bear does not see the tiger.[(triple5)] The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear needs the dog.[(triple3)] The bear needs the mouse.[(triple4)] The dog does not need the tiger.[(triple9)] The dog eats the bear.[(triple6)] The dog eats the mouse.[(triple7)] The dog is not cold.[(triple8)] The dog sees the mouse.[(triple10)] The mouse does not eat the dog.[(triple11)] The mouse is red.[(triple12)] The mouse sees the bear.[(triple13)] The tiger does not see the dog.[(triple16)] The tiger is not cold.[(triple14)] The tiger is round.[(triple15)] @1: The bear is green.[(((triple13) -> rule1))]
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
triple9
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple7
The dog is not cold.
("dog" "is" "cold" "-")
triple8
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple10
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple12
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple13
The tiger does not see the dog.
("tiger" "sees" "dog" "-")
triple16
The tiger is not cold.
("tiger" "is" "cold" "-")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The bear is green.
("bear" "is" "green" "+")
((triple13) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1