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