Charlie is cold. Dave is cold. All furry, white people are not big. All nice, smart people are big. If someone is cold and not white then they are smart. If someone is cold then they are smart. Big, white people are smart. If Charlie is round then Charlie is nice.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Dave is cold.[(triple2)] @1: Charlie is smart.[(((triple1) -> rule4))] Dave is smart.[(((triple2) -> rule4))]