The mouse eats the tiger. The mouse is blue. The mouse is green. The mouse likes the rabbit. The mouse likes the tiger. The mouse needs the tiger. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit is green. The rabbit is nice. The rabbit likes the tiger. The rabbit needs the mouse. The rabbit needs the tiger. The tiger eats the mouse. The tiger eats the rabbit. The tiger is nice. If something likes the mouse then it eats the mouse. All green things are young. If the mouse is young then the mouse is nice.
The rabbit is not nice.
@0: The mouse eats the tiger.[(triple1)] The mouse is blue.[(triple2)] The mouse is green.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse likes the tiger.[(triple5)] The mouse needs the tiger.[(triple6)] The rabbit eats the mouse.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is green.[(triple9)] The rabbit is nice.[(triple10)] The rabbit likes the tiger.[(triple11)] The rabbit needs the mouse.[(triple12)] The rabbit needs the tiger.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger eats the rabbit.[(triple15)] The tiger is nice.[(triple16)] @1: The mouse is young.[(((triple3) -> rule2))] The rabbit is young.[(((triple9) -> rule2))] @2: The mouse is nice.[(((((triple3) -> rule2)) -> rule3))]