Anne is red. Anne is white. Bob is green. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is white. Fiona is cold. Fiona is green. Fiona is red. Fiona is smart. Fiona is white. Smart, red people are cold. White people are smart.
Bob is not cold.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Bob is green.[(triple3)] Erin is cold.[(triple4 OR ((triple9 triple7) -> rule1) OR ((((triple10) -> rule2) triple7) -> rule1))] Erin is green.[(triple5)] Erin is quiet.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9 OR ((triple10) -> rule2))] Erin is white.[(triple10)] Fiona is cold.[(triple11 OR ((triple14 triple13) -> rule1) OR ((((triple15) -> rule2) triple13) -> rule1))] Fiona is green.[(triple12)] Fiona is red.[(triple13)] Fiona is smart.[(triple14 OR ((triple15) -> rule2))] Fiona is white.[(triple15)] @1: Anne is smart.[(((triple2) -> rule2))] @2: Anne is cold.[(((((triple2) -> rule2) triple1) -> rule1))]