The cat is blue. The dog is cold. The mouse needs the rabbit. The rabbit needs the mouse. Blue people are cold. If the mouse does not chase the cat and the mouse does not need the dog then the cat is cold. If someone chases the dog and the dog does not chase the rabbit then the dog eats the mouse. If someone needs the mouse then they are blue. If someone chases the mouse then the mouse does not eat the rabbit. If someone eats the mouse then the mouse is rough. If the rabbit is rough then the rabbit needs the cat. If someone eats the mouse and they are not blue then they are rough.
The rabbit is not cold.
@0: The cat is blue.[(triple1)] The dog is cold.[(triple2)] The mouse needs the rabbit.[(triple3)] The rabbit needs the mouse.[(triple4)] @1: The cat is cold.[(((triple1) -> rule1))] The rabbit is blue.[(((triple4) -> rule4))] @2: The rabbit is cold.[(((((triple4) -> rule4)) -> rule1))]