Anne is blue. Anne is cold. Anne is rough. Erin is blue. Erin is quiet. Erin is young. Fiona is cold. Fiona is rough. Fiona is round. Harry is cold. If someone is rough and young then they are blue. All blue, quiet people are red. Blue people are round. Young, red people are cold. If Erin is rough then Erin is round. All cold, red people are young. If Erin is rough and Erin is young then Erin is blue. If someone is quiet and cold then they are red.
Erin is not cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Erin is blue.[(triple4)] Erin is quiet.[(triple5)] Erin is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Harry is cold.[(triple10)] @1: Anne is round.[(((triple1) -> rule3))] Erin is red.[(((triple4 triple5) -> rule2))] Erin is round.[(((triple4) -> rule3))] @2: Erin is cold.[(((triple6 ((triple4 triple5) -> rule2)) -> rule4))]