Charlie is not furry. Dave is red. Erin is quiet. If something is quiet then it is cold. If something is round and quiet then it is not furry. Red, quiet things are not furry. Furry things are quiet. If something is round then it is not quiet. If something is round then it is not big. If something is round then it is white. All furry, cold things are red.
Dave is not cold.
@0: Charlie is not furry.[(triple1)] Dave is red.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is cold.[(((triple3) -> rule1))]