Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is white. Gary is young. If Gary is smart then Gary is kind. All quiet people are white. If someone is quiet and kind then they are young.
Gary is rough.
@0: Gary is kind.[(triple1 OR ((triple5) -> rule1))] Gary is quiet.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6 OR ((triple2) -> rule2))] Gary is young.[(triple7 OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple5) -> rule1)) -> rule3))]