The cow is round. Blue people are nice. If someone is blue and not rough then they are cold. If someone is round then they are blue.
The cow is rough.
@0: The cow is round.[(triple1)] @1: The cow is blue.[(((triple1) -> rule3))] @2: The cow is nice.[(((((triple1) -> rule3)) -> rule1))]