The mouse eats the rabbit. The mouse is big. The mouse is kind. The mouse is nice. The mouse is young. The mouse likes the rabbit. The mouse needs the rabbit. The rabbit eats the mouse. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit likes the mouse. The rabbit needs the mouse. If something needs the mouse then it eats the mouse.
The mouse is green.
@0: The mouse eats the rabbit.[(triple1)] The mouse is big.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is young.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse needs the rabbit.[(triple7)] The rabbit eats the mouse.[(triple8 OR ((triple15) -> rule1))] The rabbit is big.[(triple9)] The rabbit is green.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the mouse.[(triple14)] The rabbit needs the mouse.[(triple15)]