Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is young. All cold people are rough. If Gary is quiet then Gary is nice. If Gary is rough and Gary is not nice then Gary is red.
Gary is furry.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is nice.[(triple3 OR ((triple4) -> rule2))] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6 OR ((triple1) -> rule1))] Gary is young.[(triple7)]