Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is young. All big, young things are nice. Cold, young things are big. Cold, nice things are big.
Gary is furry.
@0: Gary is big.[(triple1 OR ((triple3 triple5) -> rule3) OR ((triple3 triple7) -> rule2))] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4)] Gary is nice.[(triple5 OR ((triple1 triple7) -> rule1) OR ((((triple3 triple7) -> rule2) triple7) -> rule1))] Gary is round.[(triple6)] Gary is young.[(triple7)]