Charlie is white. Erin is furry. Harry is rough. All smart, round things are white. White things are quiet. If something is furry then it is white. If something is quiet then it is round. If something is furry and round then it is rough. Round, furry things are smart.
Harry is quiet.
@0: Charlie is white.[(triple1)] Erin is furry.[(triple2)] Harry is rough.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule2))] Erin is white.[(((triple2) -> rule3))] @2: Charlie is round.[(((((triple1) -> rule2)) -> rule4))] Erin is quiet.[(((((triple2) -> rule3)) -> rule2))] @3: Erin is round.[(((((((triple2) -> rule3)) -> rule2)) -> rule4))] @4: Erin is rough.[(((triple2 ((((((triple2) -> rule3)) -> rule2)) -> rule4)) -> rule5))] Erin is smart.[(((((((((triple2) -> rule3)) -> rule2)) -> rule4) triple2) -> rule6))]