The cat is green. The cat is rough. The cat likes the mouse. The cat likes the rabbit. The cat visits the mouse. The mouse chases the rabbit. The mouse is big. The mouse is rough. The mouse is young. The rabbit chases the cat. The rabbit chases the mouse. The rabbit is big. The rabbit is rough. The rabbit likes the cat. The rabbit likes the mouse. The rabbit visits the cat. If something chases the cat then it likes the rabbit.
The mouse likes the cat.
@0: The cat is green.[(triple1)] The cat is rough.[(triple2)] The cat likes the mouse.[(triple3)] The cat likes the rabbit.[(triple4)] The cat visits the mouse.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse is big.[(triple7)] The mouse is rough.[(triple8)] The mouse is young.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is big.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The rabbit likes the rabbit.[(((triple10) -> rule1))]