Gary is rough. Harry is green. Harry is round. If Harry is big then Harry is green. If Gary is green and Gary is big then Gary is furry. Nice things are furry. All round, cold things are rough. Rough things are big. All furry, big things are rough. All round things are big. If Gary is rough then Gary is cold.
Harry is cold.
@0: Gary is rough.[(triple1)] Harry is green.[(triple2 OR ((((triple3) -> rule7)) -> rule1))] Harry is round.[(triple3)] @1: Gary is big.[(((triple1) -> rule5))] Gary is cold.[(((triple1) -> rule8))] Harry is big.[(((triple3) -> rule7))]