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