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