Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is round. If Gary is round and Gary is furry then Gary is kind. Cold people are quiet.
Gary is not furry.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4)] Gary is kind.[(triple5 OR ((triple7 triple4) -> rule1))] Gary is quiet.[(triple6 OR ((triple3) -> rule2))] Gary is round.[(triple7)]