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