Anne is nice. Bob is round. Bob is young. If someone is white then they are red. All nice people are white.
Anne is not white.
@0: Anne is nice.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] @1: Anne is white.[(((triple1) -> rule2))] @2: Anne is red.[(((((triple1) -> rule2)) -> rule1))]