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.
Bob is not young.
@0: Anne is smart.[(triple1)] Bob is young.[(triple2)] Harry is nice.[(triple3)] @1: Anne is round.[(((triple1) -> rule3))]