なんらかのものは立ち退きだが嫁すということはない
fact1: あの出願人は汚れ易い fact2: もし仮にあの出願人が未成熟であるし加えてそれが汚れ易いとすると気高くない fact3: 著しいということはない物はある fact4: もしあの出願人が気高くないならこの音程は立ち退きだけれど嫁すということはない fact5: あの出願人は未成熟だ
fact5 & fact1 -> int1: あの出願人は未成熟であるしおまけにそれは汚れ易い; int1 & fact2 -> int2: あの出願人は気高くない; int2 & fact4 -> int3: この音程は立ち退きであるけど嫁すらない; int3 -> hypothesis;
$facts$ = fact1: あの出願人は汚れ易い fact2: もし仮にあの出願人が未成熟であるし加えてそれが汚れ易いとすると気高くない fact3: 著しいということはない物はある fact4: もしあの出願人が気高くないならこの音程は立ち退きだけれど嫁すということはない fact5: あの出願人は未成熟だ ; $hypothesis$ = なんらかのものは立ち退きだが嫁すということはない ; $proof$ = 
fact5 & fact1 -> int1: あの出願人は未成熟であるしおまけにそれは汚れ易い; int1 & fact2 -> int2: あの出願人は気高くない; int2 & fact4 -> int3: この音程は立ち退きであるけど嫁すらない; int3 -> hypothesis; __PROVED__
事実1: あの出願人は汚れ易い
事実2: もし仮にあの出願人が未成熟であるし加えてそれが汚れ易いとすると気高くない
事実3: 著しいということはない物はある
事実4: もしあの出願人が気高くないならこの音程は立ち退きだけれど嫁すということはない
事実5: あの出願人は未成熟だ

仮説: なんらかのものは立ち退きだが嫁すということはない
1. 事実5と事実1から、推論1: "あの出願人は未成熟であるしおまけにそれは汚れ易い"が導かれる
2. 推論1と事実2から、推論2: "あの出願人は気高くない"が導かれる
3. 推論2と事実4から、推論3: "この音程は立ち退きであるけど嫁すらない"が導かれる
4. 推論3から、仮説が導かれる

よって、仮説が証明されました。