Erin is round. Fiona is round. Gary is not young. Harry is green. White things are quiet. If something is green and quiet then it is not rough. If Erin is kind and Erin is not green then Erin is white. White, young things are round. If something is rough and not young then it is round. All green things are white.
Harry is green.
@0: Erin is round.[(triple1)] Fiona is round.[(triple2)] Gary is not young.[(triple3)] Harry is green.[(triple4)] @1: Harry is white.[(((triple4) -> rule6))] @2: Harry is quiet.[(((((triple4) -> rule6)) -> rule1))] @3: Harry is not rough.[(((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule2))]