Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is young. If Gary is rough then Gary is furry.
Gary is rough.
@0: Gary is furry.[(triple1 OR ((triple5) -> rule1))] Gary is kind.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)]