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