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