Bob is blue. Bob is green. Bob is round. Bob is smart. Bob is white. Harry is blue. Harry is green. Harry is nice. Harry is rough. Harry is white. All rough, blue things are white. If Bob is smart then Bob is rough.
Harry is not round.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5 OR ((((triple4) -> rule2) triple1) -> rule1))] Harry is blue.[(triple6)] Harry is green.[(triple7)] Harry is nice.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10 OR ((triple9 triple6) -> rule1))] @1: Bob is rough.[(((triple4) -> rule2))]