Bob is rough. Gary is rough. Gary is white. Harry is furry. Harry is rough. Harry is round. Harry is white. Rough people are white.
Bob is nice.
@0: Bob is rough.[(triple1)] Gary is rough.[(triple2)] Gary is white.[(triple3 OR ((triple2) -> rule1))] Harry is furry.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple5) -> rule1))] @1: Bob is white.[(((triple1) -> rule1))]