The mouse is cold. The mouse is nice. The mouse likes the rabbit. The mouse needs the rabbit. The mouse needs the tiger. The mouse sees the rabbit. The mouse sees the tiger. The rabbit is round. The rabbit likes the tiger. The rabbit needs the mouse. The rabbit sees the mouse. The rabbit sees the tiger. The tiger is nice. The tiger likes the rabbit. The tiger needs the mouse. The tiger sees the mouse. If someone needs the rabbit then the rabbit likes the mouse. Round people are nice.
The tiger is not nice.
@0: The mouse is cold.[(triple1)] The mouse is nice.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse sees the rabbit.[(triple6)] The mouse sees the tiger.[(triple7)] The rabbit is round.[(triple8)] The rabbit likes the tiger.[(triple9)] The rabbit needs the mouse.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit sees the tiger.[(triple12)] The tiger is nice.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger needs the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The rabbit is nice.[(((triple8) -> rule2))] The rabbit likes the mouse.[(((triple4) -> rule1))]