「あの星月夜はツアー参加者でない」ということは真実である
fact1: 芳しい物はツアー参加者だ fact2: このフイルムは芳しくない fact3: 「「このフイルムは眠たいということはなくて末恐ろしくない」ということは間違っている」ということは事実だ fact4: 仮にこの不使用部分が惜しみ無くないとすればあのセミコロンは分かち難いかあるいはそれはオーダーする fact5: 芳しくないものはツアー参加者でない fact6: 「「眠たくなくてしかも末恐ろしくない」ということは成り立たない」ものがあるならばあの星月夜は芳しくない fact7: 「このフイルムは眠たいが末恐ろしくない」ということは成り立つということはない fact8: もしもなにがしかのものがオーダーするとすると芳しい fact9: 「「眠たい一方で末恐ろしくない」ということは正しいということはない」ものはある
fact3 -> int1: 「「眠たいということはなくてそれに末恐ろしくない」ということは成り立たない」物はある; int1 & fact6 -> int2: 「あの星月夜は芳しくない」ということは正しい; fact5 -> int3: 「もしあの星月夜が芳しくないとすればあの星月夜はツアー参加者でない」ということは本当だ; int2 & int3 -> hypothesis;
あの星月夜はツアー参加者だ
fact12 -> int4: 「もしあの星月夜が芳しいとすればあの星月夜はツアー参加者である」ということは嘘でない; fact11 -> int5: もしあの星月夜がオーダーするならそれは芳しい;
$facts$ = fact1: 芳しい物はツアー参加者だ fact2: このフイルムは芳しくない fact3: 「「このフイルムは眠たいということはなくて末恐ろしくない」ということは間違っている」ということは事実だ fact4: 仮にこの不使用部分が惜しみ無くないとすればあのセミコロンは分かち難いかあるいはそれはオーダーする fact5: 芳しくないものはツアー参加者でない fact6: 「「眠たくなくてしかも末恐ろしくない」ということは成り立たない」ものがあるならばあの星月夜は芳しくない fact7: 「このフイルムは眠たいが末恐ろしくない」ということは成り立つということはない fact8: もしもなにがしかのものがオーダーするとすると芳しい fact9: 「「眠たい一方で末恐ろしくない」ということは正しいということはない」ものはある ; $hypothesis$ = 「あの星月夜はツアー参加者でない」ということは真実である ; $proof$ = 
fact3 -> int1: 「「眠たいということはなくてそれに末恐ろしくない」ということは成り立たない」物はある; int1 & fact6 -> int2: 「あの星月夜は芳しくない」ということは正しい; fact5 -> int3: 「もしあの星月夜が芳しくないとすればあの星月夜はツアー参加者でない」ということは本当だ; int2 & int3 -> hypothesis; __PROVED__
事実1: 芳しい物はツアー参加者だ
事実2: このフイルムは芳しくない
事実3: 「「このフイルムは眠たいということはなくて末恐ろしくない」ということは間違っている」ということは事実だ
事実4: 仮にこの不使用部分が惜しみ無くないとすればあのセミコロンは分かち難いかあるいはそれはオーダーする
事実5: 芳しくないものはツアー参加者でない
事実6: 「「眠たくなくてしかも末恐ろしくない」ということは成り立たない」ものがあるならばあの星月夜は芳しくない
事実7: 「このフイルムは眠たいが末恐ろしくない」ということは成り立つということはない
事実8: もしもなにがしかのものがオーダーするとすると芳しい
事実9: 「「眠たい一方で末恐ろしくない」ということは正しいということはない」ものはある

仮説: 「あの星月夜はツアー参加者でない」ということは真実である
1. 事実3から、推論1: "「「眠たいということはなくてそれに末恐ろしくない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実6から、推論2: "「あの星月夜は芳しくない」ということは正しい"が導かれる
3. 事実5から、推論3: "「もしあの星月夜が芳しくないとすればあの星月夜はツアー参加者でない」ということは本当だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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