Charlie is round. Dave is red. Gary is smart. Harry is round. Smart things are red. If something is rough and kind then it is round. Kind, young things are cold. All young, cold things are smart. Kind things are cold. If something is round and cold then it is smart. If Gary is round and Gary is kind then Gary is cold. All cold things are red.
Gary is rough.
@0: Charlie is round.[(triple1)] Dave is red.[(triple2)] Gary is smart.[(triple3)] Harry is round.[(triple4)] @1: Gary is red.[(((triple3) -> rule1))]