The cat chases the mouse. The cat is blue. The cat is green. The cat is red. The cat is rough. The cat is round. The cat needs the mouse. The cat visits the mouse. The mouse chases the cat. The mouse is blue. The mouse is green. The mouse is red. The mouse is rough. The mouse is round. The mouse needs the cat. The mouse visits the cat. If someone is rough then they need the cat.
The mouse is rough.
@0: The cat chases the mouse.[(triple1)] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat needs the mouse.[(triple7)] The cat visits the mouse.[(triple8)] The mouse chases the cat.[(triple9)] The mouse is blue.[(triple10)] The mouse is green.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse needs the cat.[(triple15 OR ((triple13) -> rule1))] The mouse visits the cat.[(triple16)] @1: The cat needs the cat.[(((triple5) -> rule1))]