Erin is green. Erin is not kind. Erin is quiet. Erin is white. Erin is not young. Fiona is green. Fiona is nice. Fiona is red. Fiona is young. Gary is green. Gary is not kind. Gary is not nice. Gary is quiet. Gary is not red. Gary is white. Gary is young. Young things are green. White, young things are green. If Erin is kind and Erin is quiet then Erin is young.
Gary is white.
@0: Erin is green.[(triple1)] Erin is not kind.[(triple2)] Erin is not young.[(triple5)] Erin is quiet.[(triple3)] Erin is white.[(triple4)] Fiona is green.[(triple6 OR ((triple9) -> rule1))] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Fiona is young.[(triple9)] Gary is green.[(triple10 OR ((triple16) -> rule1) OR ((triple15 triple16) -> rule2))] Gary is not kind.[(triple11)] Gary is not nice.[(triple12)] Gary is not red.[(triple14)] Gary is quiet.[(triple13)] Gary is white.[(triple15)] Gary is young.[(triple16)]