Erin is cold. Harry is round. All quiet, white people are not round. If someone is green then they are blue. Round people are blue.
Erin is cold.
@0: Erin is cold.[(triple1)] Harry is round.[(triple2)] @1: Harry is blue.[(((triple2) -> rule3))]