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