The cat chases the mouse. The cat chases the squirrel. The cat is blue. The cat is rough. The cat needs the mouse. The cat needs the squirrel. The cat visits the squirrel. The mouse is big. The mouse is rough. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is round. If someone needs the mouse and they visit the squirrel then the squirrel chases the mouse. If the cat chases the squirrel and the squirrel is nice then the squirrel chases the mouse.
The mouse visits the cat.
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is blue.[(triple3)] The cat is rough.[(triple4)] The cat needs the mouse.[(triple5)] The cat needs the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The mouse is big.[(triple8)] The mouse is rough.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel chases the mouse.[(triple11 OR ((triple5 triple7) -> rule1))] The squirrel is round.[(triple12)]