The mouse is cold. The mouse is kind. The mouse is nice. The mouse is round. The mouse is young. The mouse likes the squirrel. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the mouse. The squirrel sees the mouse. The squirrel visits the mouse. If something visits the squirrel then the squirrel likes the mouse. If something likes the squirrel then the squirrel is cold. If something sees the mouse then it is young.
The mouse sees the mouse.
@0: The mouse is cold.[(triple1)] The mouse is kind.[(triple2)] The mouse is nice.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)] The mouse likes the squirrel.[(triple6)] The mouse sees the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel is cold.[(triple9 OR ((triple6) -> rule2))] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13 OR ((triple15) -> rule3))] The squirrel likes the mouse.[(triple14 OR ((triple8) -> rule1))] The squirrel sees the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)]