The cat is not green. The cat visits the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is not cold. The mouse is red. The mouse visits the cat. If someone visits the mouse then the mouse visits the cat.
The mouse eats the mouse.
@0: The cat is not green.[(triple1)] The cat visits the mouse.[(triple2)] The mouse chases the cat.[(triple3)] The mouse eats the cat.[(triple4)] The mouse is not cold.[(triple5)] The mouse is red.[(triple6)] The mouse visits the cat.[(triple7 OR ((triple2) -> rule1))]