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