Anne is big. Anne is cold. Anne is green. Anne is red. Anne is round. Anne is white. Anne is young. Charlie is cold. Charlie is green. Erin is green. Erin is red. Gary is big. If Erin is green then Erin is red.
Gary is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is cold.[(triple8)] Charlie is green.[(triple9)] Erin is green.[(triple10)] Erin is red.[(triple11 OR ((triple10) -> rule1))] Gary is big.[(triple12)]