Anne is quiet. Gary is quiet. Gary is smart. Gary is white. Harry is furry. Harry is green. Harry is quiet. Harry is round. Harry is smart. Harry is white. All young things are round. All smart things are furry. Green things are round.
Gary is round.
@0: Anne is quiet.[(triple1)] Gary is quiet.[(triple2)] Gary is smart.[(triple3)] Gary is white.[(triple4)] Harry is furry.[(triple5 OR ((triple9) -> rule2))] Harry is green.[(triple6)] Harry is quiet.[(triple7)] Harry is round.[(triple8 OR ((triple6) -> rule3))] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Gary is furry.[(((triple3) -> rule2))]