Gary is blue. Gary is kind. Gary is rough. If someone is rough then they are young. All rough, kind people are blue.
Gary is big.
@0: Gary is blue.[(triple1 OR ((triple3 triple2) -> rule2))] Gary is kind.[(triple2)] Gary is rough.[(triple3)] @1: Gary is young.[(((triple3) -> rule1))]