Anne is kind. Bob is round. All cold things are smart. If something is smart then it is rough. Cold things are kind. Kind things are furry. All furry, big things are cold. All kind, round things are rough.
Bob is not cold.
@0: Anne is kind.[(triple1)] Bob is round.[(triple2)] @1: Anne is furry.[(((triple1) -> rule4))]