Gary is young. Harry is big. Harry is green. If someone is young then they are big. If Gary is green then Gary is big. If Harry is big then Harry is furry. If Harry is big then Harry is green. All green, big people are quiet. Quiet people are big. Furry, quiet people are young. If someone is young then they are rough.
Gary is not cold.
@0: Gary is young.[(triple1)] Harry is big.[(triple2)] Harry is green.[(triple3 OR ((triple2) -> rule4))] @1: Gary is big.[(((triple1) -> rule1))] Gary is rough.[(((triple1) -> rule8))] Harry is furry.[(((triple2) -> rule3))] Harry is quiet.[(((triple3 triple2) -> rule5) OR ((((triple2) -> rule4) triple2) -> rule5))] @2: Harry is young.[(((((triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule7) OR ((((triple2) -> rule3) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7))] @3: Harry is rough.[(((((((triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((((triple2) -> rule3) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule8))]