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