The cat visits the rabbit. The mouse chases the rabbit. The mouse is green. The rabbit chases the cat. The rabbit does not chase the mouse. The rabbit is not big. The rabbit visits the mouse. If something is nice and it visits the rabbit then the rabbit is green. If the rabbit chases the cat and the rabbit visits the mouse then the rabbit likes the cat. If the rabbit chases the cat and the rabbit is not green then the rabbit likes the cat.
The rabbit likes the cat.
@0: The cat visits the rabbit.[(triple1)] The mouse chases the rabbit.[(triple2)] The mouse is green.[(triple3)] The rabbit chases the cat.[(triple4)] The rabbit does not chase the mouse.[(triple5)] The rabbit is not big.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The rabbit likes the cat.[(((triple4 triple7) -> rule2))]