The mouse eats the tiger. The mouse is green. The mouse likes the rabbit. The rabbit eats the tiger. The rabbit is rough. The rabbit likes the tiger. The squirrel chases the tiger. The squirrel eats the tiger. The squirrel likes the mouse. The tiger likes the rabbit. If the mouse is green and the mouse likes the squirrel then the squirrel is kind. If the tiger is rough then the tiger eats the squirrel. Blue things are cold. If something likes the rabbit then it chases the mouse. If something eats the rabbit and it eats the mouse then the mouse is rough. If something chases the mouse then the mouse is blue. If something eats the tiger then it is green. If something is cold then it eats the squirrel.
The squirrel chases the mouse.
@0: The mouse eats the tiger.[(triple1)] The mouse is green.[(triple2 OR ((triple1) -> rule7))] The mouse likes the rabbit.[(triple3)] The rabbit eats the tiger.[(triple4)] The rabbit is rough.[(triple5)] The rabbit likes the tiger.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel likes the mouse.[(triple9)] The tiger likes the rabbit.[(triple10)] @1: The mouse chases the mouse.[(((triple3) -> rule4))] The rabbit is green.[(((triple4) -> rule7))] The squirrel is green.[(((triple8) -> rule7))] The tiger chases the mouse.[(((triple10) -> rule4))] @2: The mouse is blue.[(((((triple10) -> rule4)) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] @3: The mouse is cold.[(((((((triple10) -> rule4)) -> rule6)) -> rule3) OR ((((((triple3) -> rule4)) -> rule6)) -> rule3))] @4: The mouse eats the squirrel.[(((((((((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule8))]