The cow chases the tiger. The cow is rough. The cow sees the tiger. The cow visits the rabbit. The cow visits the tiger. The rabbit chases the tiger. The rabbit is blue. The rabbit is kind. The rabbit visits the cow. The tiger is blue. If the cow visits the rabbit then the cow is cold. Kind, rough things are nice. If something is cold then it is kind.
The cow is kind.
@0: The cow chases the tiger.[(triple1)] The cow is rough.[(triple2)] The cow sees the tiger.[(triple3)] The cow visits the rabbit.[(triple4)] The cow visits the tiger.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is kind.[(triple8)] The rabbit visits the cow.[(triple9)] The tiger is blue.[(triple10)] @1: The cow is cold.[(((triple4) -> rule1))] @2: The cow is kind.[(((((triple4) -> rule1)) -> rule3))] @3: The cow is nice.[(((((((triple4) -> rule1)) -> rule3) triple2) -> rule2))]