The mouse chases the squirrel. The mouse chases the tiger. The mouse eats the tiger. The mouse is rough. The mouse likes the squirrel. The mouse likes the tiger. The squirrel is nice. The squirrel likes the mouse. The squirrel likes the tiger. The tiger chases the squirrel. The tiger eats the mouse. The tiger eats the squirrel. The tiger is big. The tiger is nice. The tiger likes the mouse. The tiger likes the squirrel. If someone is green then they like the squirrel. If someone likes the tiger and they are round then the tiger chases the squirrel. If someone chases the tiger and they are nice then they are rough. If the mouse likes the tiger then the mouse is nice. If someone is rough then they like the mouse. If someone likes the squirrel then they eat the mouse.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone is green then they like the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the tiger and they are round then the tiger chases the squirrel.
((("someone" "likes" "tiger" "+") ("someone" "is" "round" "+")) -> ("tiger" "chases" "squirrel" "+"))
If someone chases the tiger and they are nice then they are rough.
((("someone" "chases" "tiger" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If the mouse likes the tiger then the mouse is nice.
((("mouse" "likes" "tiger" "+")) -> ("mouse" "is" "nice" "+"))
If someone is rough then they like the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the squirrel then they eat the mouse.
((("someone" "likes" "squirrel" "+")) -> ("someone" "eats" "mouse" "+"))
The squirrel is nice.
True
1
proof
[(triple7)]
("squirrel" "is" "nice" "+")
triple7
The tiger does not like the squirrel.
False
1
inv-proof
[(triple16)]
("tiger" "likes" "squirrel" "-")
triple16
The mouse eats the mouse.
True
2
proof
[(((triple5) -> rule6))]
("mouse" "eats" "mouse" "+")
((triple5) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple6) -> rule4))]
("mouse" "is" "nice" "-")
((triple6) -> (rule4 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel eats the mouse.
Unknown
rconc
[@2: The squirrel eats the mouse.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("squirrel" "eats" "mouse" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The mouse chases the squirrel.[(triple1)] The mouse chases the tiger.[(triple2)] The mouse eats the tiger.[(triple3)] The mouse is rough.[(triple4 OR ((triple2 ((triple6) -> rule4)) -> rule3))] The mouse likes the squirrel.[(triple5)] The mouse likes the tiger.[(triple6)] The squirrel is nice.[(triple7)] The squirrel likes the mouse.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger eats the mouse.[(triple11 OR ((triple16) -> rule6))] The tiger eats the squirrel.[(triple12)] The tiger is big.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger likes the squirrel.[(triple16)] @1: The mouse eats the mouse.[(((triple5) -> rule6))] The mouse is nice.[(((triple6) -> rule4))] The mouse likes the mouse.[(((triple4) -> rule5) OR ((((triple2 ((triple6) -> rule4)) -> rule3)) -> rule5))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple3
The mouse is rough.
("mouse" "is" "rough" "+")
triple4
((triple2 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple5
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple8
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple9
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple10
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple11
((triple16) -> (rule6 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple16
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple5) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple6) -> (rule4 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple4) -> (rule5 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
((((triple2 ((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3