Charlie is round. Gary is red. If Charlie is furry then Charlie is red. All round people are red.
Gary is red.
@0: Charlie is round.[(triple1)] Gary is red.[(triple2)] @1: Charlie is red.[(((triple1) -> rule2))]