The mouse chases the rabbit. The mouse is cold. The mouse is rough. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit is blue. The rabbit needs the mouse. The rabbit does not see the mouse. If someone needs the rabbit and they do not chase the mouse then the rabbit does not need the mouse. If someone needs the rabbit and they chase the mouse then the mouse is blue. If the mouse is big and the mouse is cold then the mouse is nice. If someone needs the mouse then the mouse chases the rabbit. If someone needs the rabbit then the rabbit is cold. If the mouse needs the rabbit and the rabbit is cold then the mouse is big. If someone is blue and they see the mouse then they need the mouse. If someone sees the mouse then they need the rabbit.
The mouse is big.
@0: The mouse chases the rabbit.[(triple1 OR ((triple9) -> rule4))] The mouse is cold.[(triple2)] The mouse is rough.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit does not see the mouse.[(triple10)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit needs the mouse.[(triple9)] @1: The rabbit is cold.[(((triple4) -> rule5))] @2: The mouse is big.[(((triple4 ((triple4) -> rule5)) -> rule6))] @3: The mouse is nice.[(((((triple4 ((triple4) -> rule5)) -> rule6) triple2) -> rule3))]