Charlie is round. Erin is smart. Gary is green. Harry is young. If someone is green then they are cold. Cold people are round. All young people are green.
Charlie is not nice.
@0: Charlie is round.[(triple1)] Erin is smart.[(triple2)] Gary is green.[(triple3)] Harry is young.[(triple4)] @1: Gary is cold.[(((triple3) -> rule1))] Harry is green.[(((triple4) -> rule3))] @2: Gary is round.[(((((triple3) -> rule1)) -> rule2))] Harry is cold.[(((((triple4) -> rule3)) -> rule1))] @3: Harry is round.[(((((((triple4) -> rule3)) -> rule1)) -> rule2))]