この引き取り手は市役所でない
fact1: この引き取り手は混乱する fact2: その煮え湯は取り組み易い fact3: 仮にあるものは揺すぶるとすると「混乱する」ということは正しい fact4: その三発は因るし雇う fact5: 仮に「何らかの物は戻せるしその上サリー・リンだ」ということは確かでないならば「それは戻せない」ということは成り立つ fact6: その三発は取り組み易くない fact7: もしその三発が混乱しない一方で地表上であるとすればあの自由結婚主義者は逆輸入する fact8: その三発が逆輸入するならその煮え湯は白む fact9: もし「このバケット型は御忙しいしそれは戻せる」ということは誤りだとするとあのＴＡＢＬＥは御忙しくない fact10: もし仮にその自由結婚主義者が要望ならばこのバケット型は免許申請だ fact11: 「あるものは要望だが管理し易くない」ということは成り立つとしたら揺すぶる fact12: もし何らかの物は逆輸入するなら「市役所でないししかも白むということはない」ということは成り立たない fact13: このバケット型は免許申請である fact14: もしも「なんらかの物は市役所でないしさらにそれは白まない」ということは成り立たないとするとそれは市役所だ fact15: 「「このバケット型は管理し易い一方でそれは要望でない」ということは事実である」ということは成り立たないとしたら「あのＴＡＢＬＥは揺すぶる」ということは確かである fact16: もし仮にその煮え湯が地表上だということはないとするとこの引き取り手は市役所でない fact17: 要望はある fact18: もしあのＴＡＢＬＥが御忙しくないとしたらその煮え湯は要望だ一方で管理し易いということはない fact19: 仮に「その煮え湯は揺すぶる」ということは事実と異ならないならばあの三発は混乱しないけれど地表上だ fact20: 仮にあの御浪人は百文でないとすると「それは戻せるしおまけにサリー・リンである」ということは誤りだ fact21: あの御浪人は女子教育者だということはないし百文でない fact22: その自由結婚主義者は免許申請でないがしかし取り組み易い fact23: 「このバケット型は逆輸入するけどそれは管理し易くない」ということは正しくない fact24: その煮え湯が白むししかも地表上であるならあのＴＡＢＬＥは混乱しない fact25: もし仮にその自由結婚主義者が逆輸入するとしたらこの引き取り手は逆輸入する fact26: もし仮に何かは要望であるとしたら「このバケット型は管理し易いけれど要望でない」ということは偽だ fact27: もしもその自由結婚主義者が免許申請でない一方で取り組み易いならばあの三発は逆輸入する
fact27 & fact22 -> int1: その三発は逆輸入する; int1 & fact8 -> int2: その煮え湯は白む; void -> assump1: 以下のように仮定する。その煮え湯は地表上である; int2 & assump1 -> int3: その煮え湯は白むしおまけに地表上である; int3 & fact24 -> int4: 「あのＴＡＢＬＥは混乱するということはない」ということは誤りでない; fact17 & fact26 -> int5: 「「このバケット型は管理し易い一方で要望でない」ということは事実である」ということは成り立たない; fact15 & int5 -> int6: あのＴＡＢＬＥは揺すぶる; fact3 -> int7: もし仮にあのＴＡＢＬＥが揺すぶるならそれは混乱する; int6 & int7 -> int8: あのＴＡＢＬＥは混乱する; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その煮え湯は地表上でない; int10 & fact16 -> hypothesis;
この引き取り手は市役所だ
fact38 -> int11: 仮に「この引き取り手は市役所でなくて加えて白まない」ということは誤りだとすればそれは市役所である; fact36 -> int12: もしもこの引き取り手は逆輸入すれば「それは市役所でなくてそれは白むということはない」ということは誤っている; fact33 -> int13: その煮え湯が要望だがそれは管理し易くないならば揺すぶる; fact31 -> int14: もしも「あの御浪人は戻せるしサリー・リンである」ということは間違っているとすれば戻せない; fact32 -> int15: あの御浪人は百文でない; fact30 & int15 -> int16: 「あの御浪人は戻せるし加えてサリー・リンだ」ということは誤っている; int14 & int16 -> int17: あの御浪人は戻せない; int17 -> int18: 「戻せない」物はある;
$facts$ = fact1: この引き取り手は混乱する fact2: その煮え湯は取り組み易い fact3: 仮にあるものは揺すぶるとすると「混乱する」ということは正しい fact4: その三発は因るし雇う fact5: 仮に「何らかの物は戻せるしその上サリー・リンだ」ということは確かでないならば「それは戻せない」ということは成り立つ fact6: その三発は取り組み易くない fact7: もしその三発が混乱しない一方で地表上であるとすればあの自由結婚主義者は逆輸入する fact8: その三発が逆輸入するならその煮え湯は白む fact9: もし「このバケット型は御忙しいしそれは戻せる」ということは誤りだとするとあのＴＡＢＬＥは御忙しくない fact10: もし仮にその自由結婚主義者が要望ならばこのバケット型は免許申請だ fact11: 「あるものは要望だが管理し易くない」ということは成り立つとしたら揺すぶる fact12: もし何らかの物は逆輸入するなら「市役所でないししかも白むということはない」ということは成り立たない fact13: このバケット型は免許申請である fact14: もしも「なんらかの物は市役所でないしさらにそれは白まない」ということは成り立たないとするとそれは市役所だ fact15: 「「このバケット型は管理し易い一方でそれは要望でない」ということは事実である」ということは成り立たないとしたら「あのＴＡＢＬＥは揺すぶる」ということは確かである fact16: もし仮にその煮え湯が地表上だということはないとするとこの引き取り手は市役所でない fact17: 要望はある fact18: もしあのＴＡＢＬＥが御忙しくないとしたらその煮え湯は要望だ一方で管理し易いということはない fact19: 仮に「その煮え湯は揺すぶる」ということは事実と異ならないならばあの三発は混乱しないけれど地表上だ fact20: 仮にあの御浪人は百文でないとすると「それは戻せるしおまけにサリー・リンである」ということは誤りだ fact21: あの御浪人は女子教育者だということはないし百文でない fact22: その自由結婚主義者は免許申請でないがしかし取り組み易い fact23: 「このバケット型は逆輸入するけどそれは管理し易くない」ということは正しくない fact24: その煮え湯が白むししかも地表上であるならあのＴＡＢＬＥは混乱しない fact25: もし仮にその自由結婚主義者が逆輸入するとしたらこの引き取り手は逆輸入する fact26: もし仮に何かは要望であるとしたら「このバケット型は管理し易いけれど要望でない」ということは偽だ fact27: もしもその自由結婚主義者が免許申請でない一方で取り組み易いならばあの三発は逆輸入する ; $hypothesis$ = この引き取り手は市役所でない ; $proof$ = 
fact27 & fact22 -> int1: その三発は逆輸入する; int1 & fact8 -> int2: その煮え湯は白む; void -> assump1: 以下のように仮定する。その煮え湯は地表上である; int2 & assump1 -> int3: その煮え湯は白むしおまけに地表上である; int3 & fact24 -> int4: 「あのＴＡＢＬＥは混乱するということはない」ということは誤りでない; fact17 & fact26 -> int5: 「「このバケット型は管理し易い一方で要望でない」ということは事実である」ということは成り立たない; fact15 & int5 -> int6: あのＴＡＢＬＥは揺すぶる; fact3 -> int7: もし仮にあのＴＡＢＬＥが揺すぶるならそれは混乱する; int6 & int7 -> int8: あのＴＡＢＬＥは混乱する; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その煮え湯は地表上でない; int10 & fact16 -> hypothesis; __PROVED__
事実1: この引き取り手は混乱する
事実2: その煮え湯は取り組み易い
事実3: 仮にあるものは揺すぶるとすると「混乱する」ということは正しい
事実4: その三発は因るし雇う
事実5: 仮に「何らかの物は戻せるしその上サリー・リンだ」ということは確かでないならば「それは戻せない」ということは成り立つ
事実6: その三発は取り組み易くない
事実7: もしその三発が混乱しない一方で地表上であるとすればあの自由結婚主義者は逆輸入する
事実8: その三発が逆輸入するならその煮え湯は白む
事実9: もし「このバケット型は御忙しいしそれは戻せる」ということは誤りだとするとあのＴＡＢＬＥは御忙しくない
事実10: もし仮にその自由結婚主義者が要望ならばこのバケット型は免許申請だ
事実11: 「あるものは要望だが管理し易くない」ということは成り立つとしたら揺すぶる
事実12: もし何らかの物は逆輸入するなら「市役所でないししかも白むということはない」ということは成り立たない
事実13: このバケット型は免許申請である
事実14: もしも「なんらかの物は市役所でないしさらにそれは白まない」ということは成り立たないとするとそれは市役所だ
事実15: 「「このバケット型は管理し易い一方でそれは要望でない」ということは事実である」ということは成り立たないとしたら「あのＴＡＢＬＥは揺すぶる」ということは確かである
事実16: もし仮にその煮え湯が地表上だということはないとするとこの引き取り手は市役所でない
事実17: 要望はある
事実18: もしあのＴＡＢＬＥが御忙しくないとしたらその煮え湯は要望だ一方で管理し易いということはない
事実19: 仮に「その煮え湯は揺すぶる」ということは事実と異ならないならばあの三発は混乱しないけれど地表上だ
事実20: 仮にあの御浪人は百文でないとすると「それは戻せるしおまけにサリー・リンである」ということは誤りだ
事実21: あの御浪人は女子教育者だということはないし百文でない
事実22: その自由結婚主義者は免許申請でないがしかし取り組み易い
事実23: 「このバケット型は逆輸入するけどそれは管理し易くない」ということは正しくない
事実24: その煮え湯が白むししかも地表上であるならあのＴＡＢＬＥは混乱しない
事実25: もし仮にその自由結婚主義者が逆輸入するとしたらこの引き取り手は逆輸入する
事実26: もし仮に何かは要望であるとしたら「このバケット型は管理し易いけれど要望でない」ということは偽だ
事実27: もしもその自由結婚主義者が免許申請でない一方で取り組み易いならばあの三発は逆輸入する

仮説: この引き取り手は市役所でない
1. 事実27と事実22から、推論1: "その三発は逆輸入する"が導かれる
2. 推論1と事実8から、推論2: "その煮え湯は白む"が導かれる
3. 仮定1: 以下のように仮定する。その煮え湯は地表上である
4. 推論2と仮定1から、推論3: "その煮え湯は白むしおまけに地表上である"が導かれる
5. 推論3と事実24から、推論4: "「あのＴＡＢＬＥは混乱するということはない」ということは誤りでない"が導かれる
6. 事実17と事実26から、推論5: "「「このバケット型は管理し易い一方で要望でない」ということは事実である」ということは成り立たない"が導かれる
7. 事実15と推論5から、推論6: "あのＴＡＢＬＥは揺すぶる"が導かれる
8. 事実3から、推論7: "もし仮にあのＴＡＢＬＥが揺すぶるならそれは混乱する"が導かれる
9. 推論6と推論7から、推論8: "あのＴＡＢＬＥは混乱する"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その煮え湯は地表上でない"が導かれる
12. 推論10と事実16から、仮説が導かれる

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