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