The mouse eats the rabbit. The mouse eats the tiger. The mouse is blue. The mouse is kind. The mouse sees the rabbit. The rabbit eats the tiger. The rabbit is big. The rabbit is kind. The rabbit likes the mouse. The rabbit sees the mouse. The tiger eats the mouse. The tiger eats the rabbit. The tiger is cold. The tiger likes the mouse. The tiger likes the rabbit. The tiger sees the mouse. If something likes the mouse then the mouse likes the tiger. If something likes the tiger and it eats the rabbit then it sees the tiger. If something sees the tiger then it is big. If something is blue and it likes the rabbit then the rabbit likes the mouse. If something sees the mouse then the mouse is red. If something is red then it eats the tiger.
The rabbit sees the mouse.
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2 OR ((((triple10) -> rule5)) -> rule6) OR ((((triple16) -> rule5)) -> rule6))] The mouse is blue.[(triple3)] The mouse is kind.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is big.[(triple7)] The rabbit is kind.[(triple8)] The rabbit likes the mouse.[(triple9)] The rabbit sees the mouse.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is cold.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger likes the rabbit.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The mouse is red.[(((triple10) -> rule5) OR ((triple16) -> rule5))] The mouse likes the tiger.[(((triple14) -> rule1) OR ((triple9) -> rule1))] @2: The mouse sees the tiger.[(((((triple14) -> rule1) triple1) -> rule2) OR ((((triple9) -> rule1) triple1) -> rule2))] @3: The mouse is big.[(((((((triple14) -> rule1) triple1) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) triple1) -> rule2)) -> rule3))]