Bob is quiet. Dave is rough. Gary is young. Harry is rough. If something is rough and not young then it is round. All red things are white. If something is young then it is not white. If something is young and not white then it is big. All rough things are not quiet. If something is big then it is quiet.
Gary is not rough.
@0: Bob is quiet.[(triple1)] Dave is rough.[(triple2)] Gary is young.[(triple3)] Harry is rough.[(triple4)] @1: Dave is not quiet.[(((triple2) -> rule5))] Gary is not white.[(((triple3) -> rule3))] Harry is not quiet.[(((triple4) -> rule5))] @2: Gary is big.[(((triple3 ((triple3) -> rule3)) -> rule4))] @3: Gary is quiet.[(((((triple3 ((triple3) -> rule3)) -> rule4)) -> rule6))]