The cow is round. The tiger chases the cow. If something chases the cow and it is blue then it is rough. If something chases the cow then it is blue.
The tiger is blue.
@0: The cow is round.[(triple1)] The tiger chases the cow.[(triple2)] @1: The tiger is blue.[(((triple2) -> rule2))] @2: The tiger is rough.[(((triple2 ((triple2) -> rule2)) -> rule1))]