Anne is nice. Charlie is blue. Erin is blue. Fiona is round. If something is blue and quiet then it is nice. Nice, smart things are not cold. All nice things are cold. All blue, red things are not quiet. All red things are round. All red things are not round. Blue things are not round. If something is red and not quiet then it is not round.
Erin is blue.
@0: Anne is nice.[(triple1)] Charlie is blue.[(triple2)] Erin is blue.[(triple3)] Fiona is round.[(triple4)] @1: Anne is cold.[(((triple1) -> rule3))] Charlie is not round.[(((triple2) -> rule7))] Erin is not round.[(((triple3) -> rule7))]