The bear chases the cat. The bear chases the dog. The bear is big. The cat chases the dog. The cat chases the mouse. The cat needs the bear. The cat visits the dog. The dog chases the mouse. The dog is cold. The dog needs the bear. The dog needs the cat. The dog visits the bear. The dog visits the cat. The mouse is kind. The mouse needs the bear. The mouse needs the cat. If something needs the cat and the cat is kind then the cat visits the mouse. If something is blue and big then it is cold. If something chases the cat then the cat chases the bear. If something is big and it visits the cat then it needs the cat. If something needs the dog and the dog chases the bear then the dog is blue. If the dog needs the cat and the cat chases the mouse then the cat needs the dog. If the bear is blue and the bear is cold then the bear needs the mouse. If the cat is kind then the cat needs the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If something needs the cat and the cat is kind then the cat visits the mouse.
((("something" "needs" "cat" "+") ("cat" "is" "kind" "+")) -> ("cat" "visits" "mouse" "+"))
If something is blue and big then it is cold.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something chases the cat then the cat chases the bear.
((("something" "chases" "cat" "+")) -> ("cat" "chases" "bear" "+"))
If something is big and it visits the cat then it needs the cat.
((("something" "is" "big" "+") ("something" "visits" "cat" "+")) -> ("something" "needs" "cat" "+"))
If something needs the dog and the dog chases the bear then the dog is blue.
((("something" "needs" "dog" "+") ("dog" "chases" "bear" "+")) -> ("dog" "is" "blue" "+"))
If the dog needs the cat and the cat chases the mouse then the cat needs the dog.
((("dog" "needs" "cat" "+") ("cat" "chases" "mouse" "+")) -> ("cat" "needs" "dog" "+"))
If the bear is blue and the bear is cold then the bear needs the mouse.
((("bear" "is" "blue" "+") ("bear" "is" "cold" "+")) -> ("bear" "needs" "mouse" "+"))
If the cat is kind then the cat needs the bear.
((("cat" "is" "kind" "+")) -> ("cat" "needs" "bear" "+"))
The dog chases the mouse.
True
1
proof
[(triple8)]
("dog" "chases" "mouse" "+")
triple8
The bear does not chase the cat.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cat" "-")
triple1
The cat needs the dog.
True
3
proof
[(((triple11 triple5) -> rule6))]
("cat" "needs" "dog" "+")
((triple11 triple5) -> (rule6 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cat does not need the dog.
False
3
inv-proof
[(((triple11 triple5) -> rule6))]
("cat" "needs" "dog" "-")
((triple11 triple5) -> (rule6 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "cold" "-")
The dog is blue.
Unknown
rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "blue" "+")
The mouse does not chase the dog.
Unknown
inv-random
[@0: The mouse chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "dog" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bear chases the cat.[(triple1)] The bear chases the dog.[(triple2)] The bear is big.[(triple3)] The cat chases the dog.[(triple4)] The cat chases the mouse.[(triple5)] The cat needs the bear.[(triple6)] The cat visits the dog.[(triple7)] The dog chases the mouse.[(triple8)] The dog is cold.[(triple9)] The dog needs the bear.[(triple10)] The dog needs the cat.[(triple11)] The dog visits the bear.[(triple12)] The dog visits the cat.[(triple13)] The mouse is kind.[(triple14)] The mouse needs the bear.[(triple15)] The mouse needs the cat.[(triple16)] @1: The cat chases the bear.[(((triple1) -> rule3))] The cat needs the dog.[(((triple11 triple5) -> rule6))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear chases the dog.
("bear" "chases" "dog" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The cat chases the dog.
("cat" "chases" "dog" "+")
triple4
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple5
The cat needs the bear.
("cat" "needs" "bear" "+")
triple6
The cat visits the dog.
("cat" "visits" "dog" "+")
triple7
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple8
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The dog needs the cat.
("dog" "needs" "cat" "+")
triple11
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The dog visits the cat.
("dog" "visits" "cat" "+")
triple13
The mouse is kind.
("mouse" "is" "kind" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple16
The cat chases the bear.
("cat" "chases" "bear" "+")
((triple1) -> (rule3 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
((triple11 triple5) -> (rule6 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1