あの法令上は慰労するしおまけに帰還する
fact1: もし「慰労しない」物があるとしたらこの大手メーカーははしたない fact2: この大手メーカーははしたない fact3: 「「ボストンバックだ」ということは事実な」物はある fact4: この大手メーカーは見辛いしかつ四十回以上だ fact5: もしも何かははしたなくて白シャツであるならそれはファインダーウィンドウでない fact6: あの法令上はファインダーウィンドウであるしそれは慰労する fact7: あの法令上はファインダーウィンドウであるしそそる fact8: あの法令上は白シャツであるしかつそれは慰労する fact9: この大手メーカーは白シャツである fact10: 「「議論出来ない」ということは成り立つ」物はある fact11: 「帰還しない」物はある fact12: 仮に「ファインダーウィンドウでない」ものがあるとするとあの法令上は慰労するし帰還する fact13: もし仮にファインダーウィンドウが慰労するならはしたなくない
fact2 & fact9 -> int1: この大手メーカーははしたないし白シャツである; fact5 -> int2: この大手メーカーがはしたないしさらに白シャツであるならファインダーウィンドウだということはない; int1 & int2 -> int3: この大手メーカーはファインダーウィンドウでない; int3 -> int4: あるものはファインダーウィンドウであるということはない; int4 & fact12 -> hypothesis;
$facts$ = fact1: もし「慰労しない」物があるとしたらこの大手メーカーははしたない fact2: この大手メーカーははしたない fact3: 「「ボストンバックだ」ということは事実な」物はある fact4: この大手メーカーは見辛いしかつ四十回以上だ fact5: もしも何かははしたなくて白シャツであるならそれはファインダーウィンドウでない fact6: あの法令上はファインダーウィンドウであるしそれは慰労する fact7: あの法令上はファインダーウィンドウであるしそそる fact8: あの法令上は白シャツであるしかつそれは慰労する fact9: この大手メーカーは白シャツである fact10: 「「議論出来ない」ということは成り立つ」物はある fact11: 「帰還しない」物はある fact12: 仮に「ファインダーウィンドウでない」ものがあるとするとあの法令上は慰労するし帰還する fact13: もし仮にファインダーウィンドウが慰労するならはしたなくない ; $hypothesis$ = あの法令上は慰労するしおまけに帰還する ; $proof$ = 
fact2 & fact9 -> int1: この大手メーカーははしたないし白シャツである; fact5 -> int2: この大手メーカーがはしたないしさらに白シャツであるならファインダーウィンドウだということはない; int1 & int2 -> int3: この大手メーカーはファインダーウィンドウでない; int3 -> int4: あるものはファインダーウィンドウであるということはない; int4 & fact12 -> hypothesis; __PROVED__
事実1: もし「慰労しない」物があるとしたらこの大手メーカーははしたない
事実2: この大手メーカーははしたない
事実3: 「「ボストンバックだ」ということは事実な」物はある
事実4: この大手メーカーは見辛いしかつ四十回以上だ
事実5: もしも何かははしたなくて白シャツであるならそれはファインダーウィンドウでない
事実6: あの法令上はファインダーウィンドウであるしそれは慰労する
事実7: あの法令上はファインダーウィンドウであるしそそる
事実8: あの法令上は白シャツであるしかつそれは慰労する
事実9: この大手メーカーは白シャツである
事実10: 「「議論出来ない」ということは成り立つ」物はある
事実11: 「帰還しない」物はある
事実12: 仮に「ファインダーウィンドウでない」ものがあるとするとあの法令上は慰労するし帰還する
事実13: もし仮にファインダーウィンドウが慰労するならはしたなくない

仮説: あの法令上は慰労するしおまけに帰還する
1. 事実2と事実9から、推論1: "この大手メーカーははしたないし白シャツである"が導かれる
2. 事実5から、推論2: "この大手メーカーがはしたないしさらに白シャツであるならファインダーウィンドウだということはない"が導かれる
3. 推論1と推論2から、推論3: "この大手メーカーはファインダーウィンドウでない"が導かれる
4. 推論3から、推論4: "あるものはファインダーウィンドウであるということはない"が導かれる
5. 推論4と事実12から、仮説が導かれる

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