Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is red. All red things are quiet. If Gary is red then Gary is kind. All quiet, blue things are kind.
Gary is cold.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4)] Gary is kind.[(triple5 OR ((triple7) -> rule2) OR ((triple6 triple2) -> rule3) OR ((((triple7) -> rule1) triple2) -> rule3))] Gary is quiet.[(triple6 OR ((triple7) -> rule1))] Gary is red.[(triple7)]