Anne is smart. Bob is young. Harry is nice. If Bob is white and Bob is smart then Bob is nice. White people are blue. If someone is smart then they are round.
Anne is smart.
@0: Anne is smart.[(triple1)] Bob is young.[(triple2)] Harry is nice.[(triple3)] @1: Anne is round.[(((triple1) -> rule3))]