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