Charlie is round. Erin is round. If something is smart and young then it is green. If Charlie is blue and Charlie is young then Charlie is round. If something is round then it is quiet. If Erin is round and Erin is blue then Erin is young. If Erin is quiet then Erin is young. If something is round and blue then it is quiet. Quiet, round things are cold. If something is smart then it is round.
Erin is not green.
@0: Charlie is round.[(triple1)] Erin is round.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule3))] Erin is quiet.[(((triple2) -> rule3))] @2: Charlie is cold.[(((((triple1) -> rule3) triple1) -> rule7))] Erin is cold.[(((((triple2) -> rule3) triple2) -> rule7))] Erin is young.[(((((triple2) -> rule3)) -> rule5))]