The cow is rough. The cow needs the rabbit. The cow visits the mouse. The mouse is cold. The mouse is red. The mouse visits the cow. The rabbit visits the mouse. If the cow is cold then the cow visits the mouse. If someone is big and they visit the rabbit then they see the mouse. If someone is big then they need the rabbit. If someone sees the rabbit then they need the rabbit. If someone is cold then they need the mouse. If someone needs the mouse then the mouse needs the cow. If someone visits the cow then they need the rabbit. If someone sees the mouse and the mouse visits the cow then the cow needs the rabbit.
The mouse is red.
@0: The cow is rough.[(triple1)] The cow needs the rabbit.[(triple2)] The cow visits the mouse.[(triple3)] The mouse is cold.[(triple4)] The mouse is red.[(triple5)] The mouse visits the cow.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The mouse needs the mouse.[(((triple4) -> rule5))] The mouse needs the rabbit.[(((triple6) -> rule7))] @2: The mouse needs the cow.[(((((triple4) -> rule5)) -> rule6))]