The cow chases the rabbit. The cow eats the rabbit. The cow is blue. The cow sees the rabbit. The rabbit does not eat the cow. The rabbit is cold. The rabbit sees the cow. Nice things are cold. If something is blue then it is nice.
The cow is not rough.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is blue.[(triple3)] The cow sees the rabbit.[(triple4)] The rabbit does not eat the cow.[(triple5)] The rabbit is cold.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The cow is nice.[(((triple3) -> rule2))] @2: The cow is cold.[(((((triple3) -> rule2)) -> rule1))]