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