The cat needs the rabbit. The mouse needs the rabbit. The rabbit chases the cat. If someone chases the cat then the cat needs the rabbit. If someone visits the cat then they are big. If someone chases the cat and they visit the cat then the cat is rough. If someone is cold and they visit the mouse then the mouse chases the cat. If the mouse is cold then the mouse visits the cat. If someone chases the mouse then the mouse needs the cat.
The cat chases the cat.
@0: The cat needs the rabbit.[(triple1 OR ((triple3) -> rule1))] The mouse needs the rabbit.[(triple2)] The rabbit chases the cat.[(triple3)]