Anne is kind. Bob is green. Charlie is round. Harry is furry. All rough people are green. All round, kind people are rough. Rough, cold people are nice. All green people are furry. If someone is kind then they are rough. All furry, round people are rough.
Bob is kind.
@0: Anne is kind.[(triple1)] Bob is green.[(triple2)] Charlie is round.[(triple3)] Harry is furry.[(triple4)] @1: Anne is rough.[(((triple1) -> rule5))] Bob is furry.[(((triple2) -> rule4))] @2: Anne is green.[(((((triple1) -> rule5)) -> rule1))] @3: Anne is furry.[(((((((triple1) -> rule5)) -> rule1)) -> rule4))]