Anne is cold. Anne is red. Anne is round. Anne is young. Charlie is cold. Charlie is quiet. Charlie is round. Charlie is white. Erin is quiet. Erin is round. Gary is white. Gary is young. All red, quiet people are cold. If someone is cold and round then they are red. Quiet people are cold.
Erin is not cold.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2 OR ((triple1 triple3) -> rule2))] Anne is round.[(triple3)] Anne is young.[(triple4)] Charlie is cold.[(triple5 OR ((triple6) -> rule3))] Charlie is quiet.[(triple6)] Charlie is round.[(triple7)] Charlie is white.[(triple8)] Erin is quiet.[(triple9)] Erin is round.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Charlie is red.[(((triple5 triple7) -> rule2) OR ((((triple6) -> rule3) triple7) -> rule2))] Erin is cold.[(((triple9) -> rule3))] @2: Erin is red.[(((((triple9) -> rule3) triple10) -> rule2))]