The mouse chases the rabbit. The mouse is rough. The mouse is young. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is big. The rabbit is cold. The rabbit is rough. The rabbit is young. The rabbit needs the mouse. If someone is young then they eat the mouse. Rough people are cold.
The rabbit does not need the mouse.
@0: The mouse chases the rabbit.[(triple1)] The mouse is rough.[(triple2)] The mouse is young.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit eats the mouse.[(triple5 OR ((triple9) -> rule1))] The rabbit is big.[(triple6)] The rabbit is cold.[(triple7 OR ((triple8) -> rule2))] The rabbit is rough.[(triple8)] The rabbit is young.[(triple9)] The rabbit needs the mouse.[(triple10)] @1: The mouse eats the mouse.[(((triple3) -> rule1))] The mouse is cold.[(((triple2) -> rule2))]