The lion chases the mouse. The lion is kind. The lion is rough. The lion is round. The lion sees the mouse. The lion visits the squirrel. The mouse is rough. The mouse sees the lion. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is cold. The squirrel visits the lion. If someone visits the squirrel and the squirrel sees the lion then they see the mouse. If someone is cold then they chase the mouse.
The lion does not visit the squirrel.
@0: The lion chases the mouse.[(triple1)] The lion is kind.[(triple2)] The lion is rough.[(triple3)] The lion is round.[(triple4)] The lion sees the mouse.[(triple5)] The lion visits the squirrel.[(triple6)] The mouse is rough.[(triple7)] The mouse sees the lion.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel chases the mouse.[(triple10 OR ((triple11) -> rule2))] The squirrel is cold.[(triple11)] The squirrel visits the lion.[(triple12)]