Anne is cold. Anne is nice. Charlie is cold. Erin is cold. Erin is green. Erin is round. Harry is furry. All nice things are green. If Anne is white and Anne is round then Anne is quiet. If something is round and nice then it is not furry. Green, white things are round. If something is furry and not green then it is not white. If Erin is quiet then Erin is cold. If Erin is quiet and Erin is not green then Erin is not cold. If something is round and quiet then it is cold.
Charlie is not round.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Charlie is cold.[(triple3)] Erin is cold.[(triple4)] Erin is green.[(triple5)] Erin is round.[(triple6)] Harry is furry.[(triple7)] @1: Anne is green.[(((triple2) -> rule1))]