Anne is not blue. Anne is not red. Erin is blue. Erin is cold. Erin is round. Erin is smart. Erin is white. Gary is big. Gary is cold. Gary is round. Harry is not smart. Harry is white. All white, big people are red. Cold people are smart. If Erin is blue then Erin is round.
Anne is not blue.
@0: Anne is not blue.[(triple1)] Anne is not red.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is round.[(triple5 OR ((triple3) -> rule3))] Erin is smart.[(triple6 OR ((triple4) -> rule2))] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is round.[(triple10)] Harry is not smart.[(triple11)] Harry is white.[(triple12)] @1: Gary is smart.[(((triple9) -> rule2))]