The mouse chases the rabbit. The mouse eats the rabbit. The mouse is blue. The mouse is cold. The mouse is red. The mouse is rough. The mouse is young. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit does not eat the mouse. The rabbit is blue. The rabbit is not cold. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit does not see the mouse. If someone sees the rabbit and they are young then they eat the rabbit. If someone is red then they eat the rabbit. If someone eats the mouse and the mouse eats the rabbit then they eat the rabbit. If someone eats the mouse then they are red. If someone is cold and blue then they chase the mouse. If someone chases the mouse then they chase the rabbit.
The mouse eats the rabbit.
@0: The mouse chases the rabbit.[(triple1 OR ((((triple4 triple3) -> rule5)) -> rule6))] The mouse eats the rabbit.[(triple2 OR ((triple5) -> rule2) OR ((triple8 triple7) -> rule1))] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is red.[(triple5)] The mouse is rough.[(triple6)] The mouse is young.[(triple7)] The mouse sees the rabbit.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit does not eat the mouse.[(triple10)] The rabbit does not see the mouse.[(triple16)] The rabbit is blue.[(triple11)] The rabbit is not cold.[(triple12)] The rabbit is red.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is young.[(triple15)] @1: The mouse chases the mouse.[(((triple4 triple3) -> rule5))] The rabbit chases the rabbit.[(((triple9) -> rule6))] The rabbit eats the rabbit.[(((triple13) -> rule2))]