The mouse chases the rabbit. The mouse eats the rabbit. The mouse is kind. The mouse is red. The mouse is rough. The mouse is round. The mouse is young. The mouse needs the rabbit. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit needs the mouse. If the mouse is rough and the mouse is young then the mouse eats the rabbit. If someone needs the mouse and they are round then they need the rabbit. If someone needs the rabbit then they eat the rabbit.
The mouse eats the mouse.
@0: The mouse chases the rabbit.[(triple1)] The mouse eats the rabbit.[(triple2 OR ((triple8) -> rule3) OR ((triple5 triple7) -> rule1))] The mouse is kind.[(triple3)] The mouse is red.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The mouse is young.[(triple7)] The mouse needs the rabbit.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit eats the mouse.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is red.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit is young.[(triple15)] The rabbit needs the mouse.[(triple16)] @1: The rabbit needs the rabbit.[(((triple16 triple14) -> rule2))] @2: The rabbit eats the rabbit.[(((((triple16 triple14) -> rule2)) -> rule3))]