Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is white. Erin is young. Gary is green. Gary is quiet. Gary is not round. Gary is white. Gary is not young. If something is kind and not white then it is young. If something is kind and not round then it is green. If Erin is kind and Erin is young then Erin is rough.
Gary is not round.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4 OR ((triple2 triple7) -> rule3))] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is green.[(triple8)] Gary is not round.[(triple10)] Gary is not young.[(triple12)] Gary is quiet.[(triple9)] Gary is white.[(triple11)]