Bob is nice. Bob is round. Fiona is red. Fiona is round. Gary is white. Harry is green. Harry is round. If Harry is big then Harry is green. Green things are white.
Bob is not white.
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Fiona is red.[(triple3)] Fiona is round.[(triple4)] Gary is white.[(triple5)] Harry is green.[(triple6)] Harry is round.[(triple7)] @1: Harry is white.[(((triple6) -> rule2))]