Charlie is quiet. Erin is green. Harry is quiet. Cold, smart people are green. Quiet people are green. Green, smart people are blue. All green people are round. If Erin is blue then Erin is smart. If Charlie is round and Charlie is blue then Charlie is smart.
Charlie is quiet.
@0: Charlie is quiet.[(triple1)] Erin is green.[(triple2)] Harry is quiet.[(triple3)] @1: Charlie is green.[(((triple1) -> rule2))] Erin is round.[(((triple2) -> rule4))] Harry is green.[(((triple3) -> rule2))] @2: Charlie is round.[(((((triple1) -> rule2)) -> rule4))] Harry is round.[(((((triple3) -> rule2)) -> rule4))]