Bob is smart. Gary is big. Harry is red. Red things are white.
Bob is not white.
@0: Bob is smart.[(triple1)] Gary is big.[(triple2)] Harry is red.[(triple3)] @1: Harry is white.[(((triple3) -> rule1))]