The bear is kind. The cat eats the bear. The cat is kind. The dog needs the cat. The dog needs the mouse. The mouse chases the bear. The mouse is big. If someone eats the mouse then they are blue. If someone chases the cat and the cat eats the dog then the cat chases the dog.
The bear is kind.
("bear" "is" "kind" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is kind.
("cat" "is" "kind" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
If someone eats the mouse then they are blue.
((("someone" "eats" "mouse" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the cat and the cat eats the dog then the cat chases the dog.
((("someone" "chases" "cat" "+") ("cat" "eats" "dog" "+")) -> ("cat" "chases" "dog" "+"))
The dog needs the mouse.
True
1
proof
[(triple5)]
("dog" "needs" "mouse" "+")
triple5
The cat does not eat the bear.
False
1
inv-proof
[(triple2)]
("cat" "eats" "bear" "-")
triple2
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "blue" "-")
The bear chases the cat.
Unknown
random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "+")
@0: The bear is kind.[(triple1)] The cat eats the bear.[(triple2)] The cat is kind.[(triple3)] The dog needs the cat.[(triple4)] The dog needs the mouse.[(triple5)] The mouse chases the bear.[(triple6)] The mouse is big.[(triple7)]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The dog needs the cat.
("dog" "needs" "cat" "+")
triple4
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple7