Bob is big. Bob is green. Bob is round. Harry is big. Harry is nice. Harry is red. Harry is smart. If Bob is green then Bob is round. If Bob is red then Bob is green. If something is white and red then it is round. If Harry is big then Harry is nice. Red things are round. White things are nice. If something is big and red then it is white. All white things are red.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule1))] Harry is big.[(triple4)] Harry is nice.[(triple5 OR ((triple4) -> rule4) OR ((((triple4 triple6) -> rule7)) -> rule6))] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Harry is round.[(((triple6) -> rule5) OR ((((triple4 triple6) -> rule7) triple6) -> rule3))] Harry is white.[(((triple4 triple6) -> rule7))]