Anne is red. Anne is not round. Erin is red. Erin is rough. Fiona is green. Fiona is quiet. Fiona is rough. Gary is quiet. Gary is red. Gary is rough. If someone is red then they are cold. If someone is green then they are not round. If Anne is round then Anne is not red. If someone is quiet and round then they are furry. If someone is green and not red then they are rough. Green, red people are quiet. If someone is rough and not cold then they are not quiet. If someone is red and not green then they are not quiet.
Erin is round.
@0: Anne is not round.[(triple2)] Anne is red.[(triple1)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Fiona is green.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] @1: Anne is cold.[(((triple1) -> rule1))] Erin is cold.[(((triple3) -> rule1))] Fiona is not round.[(((triple5) -> rule2))] Gary is cold.[(((triple9) -> rule1))]