Anne is cold. Anne is green. Anne is white. Anne is young. Erin is blue. Erin is cold. Erin is green. Erin is round. Erin is white. Erin is young. Fiona is blue. Fiona is not smart. Fiona is white. Fiona is young. Gary is cold. Gary is young. If Gary is smart then Gary is cold. If something is cold and not round then it is young. If something is white then it is young. If Anne is round then Anne is blue. Round things are green. If something is green and not cold then it is blue.
Erin is not white.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule3))] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7 OR ((triple8) -> rule5))] Erin is round.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple9) -> rule3))] Fiona is blue.[(triple11)] Fiona is not smart.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple13) -> rule3))] Gary is cold.[(triple15)] Gary is young.[(triple16)]