Anne is cold. Anne is red. Anne is white. Erin is cold. Erin is kind. Erin is rough. Erin is round. Erin is white. Gary is red. Gary is white. White people are round. All round, nice people are red.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7 OR ((triple8) -> rule1))] Erin is white.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Anne is round.[(((triple3) -> rule1))] Gary is round.[(((triple10) -> rule1))]