Fiona is rough. Gary is rough. Harry is not white. If Gary is big then Gary is blue. If Harry is not white then Harry is round. If something is white then it is not round. If something is furry and big then it is round. If Gary is round and Gary is quiet then Gary is rough. If something is big and not round then it is quiet. Round things are not quiet. Furry, rough things are blue.
Gary is not rough.
@0: Fiona is rough.[(triple1)] Gary is rough.[(triple2)] Harry is not white.[(triple3)] @1: Harry is round.[(((triple3) -> rule2))] @2: Harry is not quiet.[(((((triple3) -> rule2)) -> rule7))]