The mouse is blue. The mouse likes the rabbit. The rabbit eats the mouse. The rabbit likes the mouse. The tiger likes the mouse. The tiger sees the mouse. The tiger does not see the rabbit. If something likes the tiger then it eats the rabbit. If something eats the tiger and the tiger sees the mouse then the mouse is blue. If something sees the tiger and it is not round then it sees the mouse. If something likes the mouse then the mouse likes the tiger. If something is rough then it does not like the mouse. If the mouse eats the rabbit then the rabbit does not see the tiger.
The mouse eats the rabbit.
@0: The mouse is blue.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit eats the mouse.[(triple3)] The rabbit likes the mouse.[(triple4)] The tiger does not see the rabbit.[(triple7)] The tiger likes the mouse.[(triple5)] The tiger sees the mouse.[(triple6)] @1: The mouse likes the tiger.[(((triple4) -> rule4) OR ((triple5) -> rule4))] @2: The mouse eats the rabbit.[(((((triple4) -> rule4)) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] @3: The rabbit does not see the tiger.[(((((((triple4) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5) -> rule4)) -> rule1)) -> rule6))]