Charlie is blue. Erin is smart. If something is blue and kind then it is round. If something is smart and blue then it is round. Furry, cold things are round. All smart things are not kind. If Erin is blue then Erin is smart. Smart, cold things are furry. All round things are not furry. If something is kind and not furry then it is young.
Erin is not smart.
@0: Charlie is blue.[(triple1)] Erin is smart.[(triple2)] @1: Erin is not kind.[(((triple2) -> rule4))]