Fiona is round. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is white. If Fiona is rough then Fiona is green. If Gary is rough and Gary is kind then Gary is green. All green, quiet people are white.
Gary is kind.
@0: Fiona is round.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple3 OR ((triple6 triple4) -> rule2))] Gary is kind.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7 OR ((triple3 triple5) -> rule3) OR ((((triple6 triple4) -> rule2) triple5) -> rule3))]