The cat chases the mouse. The cat is green. The cat is red. The cat needs the mouse. The cat visits the mouse. The mouse chases the cat. The mouse visits the cat. If someone chases the cat and they need the mouse then the mouse is red. If someone visits the cat then the cat chases the mouse. If the mouse is nice and the mouse visits the cat then the mouse chases the cat.
The mouse needs the cat.
@0: The cat chases the mouse.[(triple1 OR ((triple7) -> rule2))] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat needs the mouse.[(triple4)] The cat visits the mouse.[(triple5)] The mouse chases the cat.[(triple6)] The mouse visits the cat.[(triple7)]