Charlie is blue. Erin is kind. Gary is nice. Harry is quiet. All cold, nice things are round. If something is red and not blue then it is round. If something is nice then it is not round. If Erin is not cold then Erin is quiet. If Charlie is blue then Charlie is quiet. Blue, cold things are red. If something is blue and not quiet then it is not kind. Blue things are not kind.
Harry is blue.
@0: Charlie is blue.[(triple1)] Erin is kind.[(triple2)] Gary is nice.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is not kind.[(((triple1) -> rule8))] Charlie is quiet.[(((triple1) -> rule5))] Gary is not round.[(((triple3) -> rule3))]