The cow is red. The dog eats the rabbit. The dog sees the mouse. The mouse eats the rabbit. The rabbit eats the cow. The rabbit eats the dog. The rabbit sees the mouse. If someone sees the dog and they eat the mouse then they visit the cow. If someone sees the dog and they eat the rabbit then they eat the cow. If the cow eats the dog then the cow is nice. If the cow is red then the cow is nice. If someone visits the cow then the cow sees the mouse. Nice people are cold.
The mouse is not cold.
@0: The cow is red.[(triple1)] The dog eats the rabbit.[(triple2)] The dog sees the mouse.[(triple3)] The mouse eats the rabbit.[(triple4)] The rabbit eats the cow.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The cow is nice.[(((triple1) -> rule4))] @2: The cow is cold.[(((((triple1) -> rule4)) -> rule6))]