The mouse chases the squirrel. The mouse is kind. The mouse is rough. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel likes the mouse. The squirrel sees the mouse. If someone sees the mouse then they are rough. If someone likes the squirrel and they chase the squirrel then the squirrel likes the mouse. If someone sees the mouse then the mouse chases the squirrel. If someone sees the mouse and the mouse is blue then the mouse sees the squirrel. If someone likes the squirrel then the squirrel likes the mouse. If someone is red and they like the squirrel then they like the mouse.
The mouse does not like the mouse.
@0: The mouse chases the squirrel.[(triple1 OR ((triple12) -> rule3))] The mouse is kind.[(triple2)] The mouse is rough.[(triple3)] The mouse likes the squirrel.[(triple4)] The mouse sees the squirrel.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10 OR ((triple12) -> rule1))] The squirrel likes the mouse.[(triple11 OR ((triple4) -> rule5) OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple12) -> rule3)) -> rule2))] The squirrel sees the mouse.[(triple12)]