Bob is blue. Bob is not nice. Charlie is nice. Charlie is smart. Gary is white. Harry is big. Harry is white. If something is rough then it is nice. If something is nice then it is big. If something is big then it is rough. If something is nice and not blue then it is young. All nice things are smart. If Bob is not rough and Bob is not big then Bob is not young.
Charlie is not nice.
@0: Bob is blue.[(triple1)] Bob is not nice.[(triple2)] Charlie is nice.[(triple3)] Charlie is smart.[(triple4 OR ((triple3) -> rule5))] Gary is white.[(triple5)] Harry is big.[(triple6)] Harry is white.[(triple7)] @1: Charlie is big.[(((triple3) -> rule2))] Harry is rough.[(((triple6) -> rule3))] @2: Charlie is rough.[(((((triple3) -> rule2)) -> rule3))] Harry is nice.[(((((triple6) -> rule3)) -> rule1))] @3: Harry is smart.[(((((((triple6) -> rule3)) -> rule1)) -> rule5))]