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