Bob is red. Bob is rough. Bob is round. Bob is white. Harry is red. Harry is rough. Harry is white. Green, rough things are round. If Bob is green then Bob is nice. Rough things are round.
Bob is not white.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule3))] Bob is white.[(triple4)] Harry is red.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Harry is round.[(((triple6) -> rule3))]