The mouse is blue. The mouse is cold. The mouse needs the squirrel. The mouse sees the tiger. The squirrel is big. The squirrel is blue. The squirrel is round. The squirrel likes the mouse. The squirrel likes the tiger. The squirrel needs the tiger. The squirrel sees the mouse. The squirrel sees the tiger. The tiger is round. The tiger needs the mouse. The tiger sees the squirrel. If something needs the tiger then the tiger sees the squirrel.
The mouse is round.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse needs the squirrel.[(triple3)] The mouse sees the tiger.[(triple4)] The squirrel is big.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is round.[(triple7)] The squirrel likes the mouse.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel needs the tiger.[(triple10)] The squirrel sees the mouse.[(triple11)] The squirrel sees the tiger.[(triple12)] The tiger is round.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger sees the squirrel.[(triple15 OR ((triple10) -> rule1))]