Anne is not big. Anne is not blue. Anne is cold. Anne is green. Anne is nice. Anne is young. Erin is big. Erin is blue. Erin is green. Erin is not white. Fiona is green. Fiona is white. Gary is not big. Gary is green. Gary is young. Blue, green people are big. If someone is green and not cold then they are not big. If Gary is not young then Gary is not big.
Erin is young.
@0: Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is young.[(triple6)] Erin is big.[(triple7 OR ((triple8 triple9) -> rule1))] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is not white.[(triple10)] Fiona is green.[(triple11)] Fiona is white.[(triple12)] Gary is green.[(triple14)] Gary is not big.[(triple13)] Gary is young.[(triple15)]