The mouse chases the rabbit. The mouse is big. The mouse likes the rabbit. The rabbit is nice. The rabbit is red. The rabbit likes the mouse. The rabbit needs the mouse. If the rabbit likes the mouse then the rabbit is cold. If someone needs the mouse then the mouse needs the rabbit. If someone is green then they chase the rabbit. If someone chases the mouse then they are big. If someone needs the rabbit then the rabbit is green. If someone is nice and they like the rabbit then the rabbit is big.
The rabbit does not chase the mouse.
@0: The mouse chases the rabbit.[(triple1)] The mouse is big.[(triple2)] The mouse likes the rabbit.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5)] The rabbit likes the mouse.[(triple6)] The rabbit needs the mouse.[(triple7)] @1: The mouse needs the rabbit.[(((triple7) -> rule2))] The rabbit is cold.[(((triple6) -> rule1))] @2: The rabbit is green.[(((((triple7) -> rule2)) -> rule5))] @3: The rabbit chases the rabbit.[(((((((triple7) -> rule2)) -> rule5)) -> rule3))]