Bob is rough. Bob is round. Bob is white. Charlie is big. Erin is not white. Harry is green. Harry is rough. If someone is smart and white then they are big. If someone is red and rough then they are not big. All green people are white. White people are round. If someone is smart then they are not round. If someone is white and not rough then they are not smart.
Harry is white.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2 OR ((triple3) -> rule4))] Bob is white.[(triple3)] Charlie is big.[(triple4)] Erin is not white.[(triple5)] Harry is green.[(triple6)] Harry is rough.[(triple7)] @1: Harry is white.[(((triple6) -> rule3))] @2: Harry is round.[(((((triple6) -> rule3)) -> rule4))]