The bear does not chase the mouse. The bear does not chase the tiger. The bear eats the cat. The bear is not green. The cat eats the mouse. The cat is blue. The mouse chases the bear. The mouse chases the tiger. The mouse needs the bear. The tiger eats the mouse. If something needs the bear then the bear does not need the cat. If something needs the tiger then the tiger chases the cat. If the bear eats the mouse and the mouse eats the cat then the cat does not eat the mouse. If something eats the bear and it needs the cat then the cat is big. If something is blue then it is not cold. If something eats the bear then it needs the tiger.
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is not green.
("bear" "is" "green" "-")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is blue.
("cat" "is" "blue" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
If something needs the bear then the bear does not need the cat.
((("something" "needs" "bear" "+")) -> ("bear" "needs" "cat" "-"))
If something needs the tiger then the tiger chases the cat.
((("something" "needs" "tiger" "+")) -> ("tiger" "chases" "cat" "+"))
If the bear eats the mouse and the mouse eats the cat then the cat does not eat the mouse.
((("bear" "eats" "mouse" "+") ("mouse" "eats" "cat" "+")) -> ("cat" "eats" "mouse" "-"))
If something eats the bear and it needs the cat then the cat is big.
((("something" "eats" "bear" "+") ("something" "needs" "cat" "+")) -> ("cat" "is" "big" "+"))
If something is blue then it is not cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "-"))
If something eats the bear then it needs the tiger.
((("something" "eats" "bear" "+")) -> ("something" "needs" "tiger" "+"))
The mouse chases the tiger.
True
1
proof
[(triple8)]
("mouse" "chases" "tiger" "+")
triple8
The tiger does not eat the mouse.
False
1
inv-proof
[(triple10)]
("tiger" "eats" "mouse" "-")
triple10
The bear does not need the tiger.
Unknown
inv-rconc
[@1: The bear needs the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "needs" "tiger" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bear does not chase the mouse.[(triple1)] The bear does not chase the tiger.[(triple2)] The bear eats the cat.[(triple3)] The bear is not green.[(triple4)] The cat eats the mouse.[(triple5)] The cat is blue.[(triple6)] The mouse chases the bear.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse needs the bear.[(triple9)] The tiger eats the mouse.[(triple10)] @1: The bear does not need the cat.[(((triple9) -> rule1))] The cat is not cold.[(((triple6) -> rule5))]
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
triple1
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
triple2
The bear eats the cat.
("bear" "eats" "cat" "+")
triple3
The bear is not green.
("bear" "is" "green" "-")
triple4
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple7
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple8
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple9
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple10
The bear does not need the cat.
("bear" "needs" "cat" "-")
((triple9) -> (rule1 % int1))
The bear does not need the cat.
("bear" "needs" "cat" "-")
int1
The cat is not cold.
("cat" "is" "cold" "-")
((triple6) -> (rule5 % int1))
The cat is not cold.
("cat" "is" "cold" "-")
int1