Charlie is rough. Dave is round. Gary is kind. All blue things are furry. All rough things are cold. If Charlie is round and Charlie is nice then Charlie is blue. If something is rough then it is nice. If something is kind then it is round. Kind, blue things are round. If something is furry and blue then it is cold. All cold things are furry.
Dave is kind.
@0: Charlie is rough.[(triple1)] Dave is round.[(triple2)] Gary is kind.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule2))] Charlie is nice.[(((triple1) -> rule4))] Gary is round.[(((triple3) -> rule5))] @2: Charlie is furry.[(((((triple1) -> rule2)) -> rule8))]