The cat is rough. The mouse chases the cat. The rabbit eats the cat. The rabbit eats the mouse. The rabbit is cold. The rabbit is green. The rabbit is nice. If someone is rough and they chase the rabbit then the rabbit is rough. If someone is green then they chase the mouse. If someone is cold then they visit the cat.
The cat does not visit the cat.
@0: The cat is rough.[(triple1)] The mouse chases the cat.[(triple2)] The rabbit eats the cat.[(triple3)] The rabbit eats the mouse.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is green.[(triple6)] The rabbit is nice.[(triple7)] @1: The rabbit chases the mouse.[(((triple6) -> rule2))] The rabbit visits the cat.[(((triple5) -> rule3))]