Charlie is quiet. Erin is round. If something is quiet then it is green. If something is green and rough then it is quiet. Kind things are white. If Erin is quiet and Erin is green then Erin is not kind. If Erin is kind and Erin is smart then Erin is white. All green things are not smart. If something is green and not smart then it is round. All rough, smart things are round.
Charlie is white.
@0: Charlie is quiet.[(triple1)] Erin is round.[(triple2)] @1: Charlie is green.[(((triple1) -> rule1))] @2: Charlie is not smart.[(((((triple1) -> rule1)) -> rule6))] @3: Charlie is round.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule7))]