Anne is kind. Anne is quiet. Charlie is not blue. Charlie is not cold. Erin is blue. Erin is kind. Erin is nice. Erin is not round. Harry is blue. Harry is quiet. If something is round and not blue then it is nice. If something is nice then it is white.
Charlie is round.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Charlie is not blue.[(triple3)] Charlie is not cold.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is not round.[(triple8)] Harry is blue.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is white.[(((triple7) -> rule2))]