Anne is furry. Fiona is furry. Gary is red. Gary is round. Gary is smart. Harry is furry. Harry is young. If something is white then it is big. All round, furry things are white. All young things are round.
Harry is round.
@0: Anne is furry.[(triple1)] Fiona is furry.[(triple2)] Gary is red.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5)] Harry is furry.[(triple6)] Harry is young.[(triple7)] @1: Harry is round.[(((triple7) -> rule3))] @2: Harry is white.[(((((triple7) -> rule3) triple6) -> rule2))] @3: Harry is big.[(((((((triple7) -> rule3) triple6) -> rule2)) -> rule1))]