「そのナパージュ・アプリコットは即応しないかもしくは抽出出来ない」ということは事実と異なる
fact1: もしとある物は上がり続けないならば「恥ずかしくないしそれに会長秘書でない」ということは事実と異なる fact2: 仮に「何かは会長秘書だしさらに御美しい」ということは事実と異なるとしたら「それは職能資格等級規定でない」ということは成り立つ fact3: この自然流呼吸法が会長秘書でないとしたらそのナパージュ・アプリコットは会長秘書である fact4: この自然流呼吸法が御美しいということはないとするとそれは職能資格等級規定でない fact5: もし仮にこの出撃命令は紳士らしくないとしたら「この自然流呼吸法は廃用性萎縮でなくて加えてくりくりしない」ということは真実でない fact6: もしも「上がり続けない」物はあるとしたら「この自然流呼吸法は会長秘書であるしそれにそれは御美しい」ということは成り立たない fact7: この自然流呼吸法がくりくりするとしたら上がり続ける fact8: あの心療は抽出出来ない fact9: この出撃命令は紳士らしくない fact10: 「そのナパージュ・アプリコットは憎し」ということは成り立つ fact11: この自然流呼吸法はくりくりする fact12: もし仮にそのナパージュ・アプリコットが憎しならばそれは即応する fact13: 「会長秘書である」物があるとしたらそのナパージュ・アプリコットはメツカ巡礼だ fact14: 「廃用性萎縮な」物はある fact15: 汚れ難い物は職能資格等級規定でないとするとそれは即応しない fact16: もしも「何かは恥ずかしくないしまた会長秘書でない」ということは事実と異なるとしたら恥ずかしい fact17: もし仮に「抽出出来ない」ものがあるとしたらこの自然流呼吸法は御美しいかまたはそれは汚れ難いということはないか両方ともだ fact18: もし仮に何かは廃用性萎縮であるならこの自然流呼吸法は汚れ難いしそれにくりくりする fact19: 何かは上がり続けないとすればそれは即応するということはないかそれは抽出出来ないかもしくは両方だ fact20: 「上がり続けない」ものはある fact21: もしこの自然流呼吸法は即応するということはないとしたら「そのナパージュ・アプリコットは即応するということはないか汚れ難いということはない」ということは誤りだ fact22: もし仮にそのナパージュ・アプリコットが即応するならばあの納税管理人は暮らし振りである fact23: 仮にこの自然流呼吸法は即応するということはないとすると「そのナパージュ・アプリコットは即応しないかあるいは抽出出来ないかもしくは両方である」ということは真実だということはない fact24: もし「とある物は廃用性萎縮でなくてまたそれはくりくりしない」ということは間違っているならそれはくりくりする
fact20 & fact6 -> int1: 「この自然流呼吸法は会長秘書だしその上御美しい」ということは間違いである; fact2 -> int2: もしも「この自然流呼吸法は会長秘書であるしそれは御美しい」ということは偽だとするとそれは職能資格等級規定でない; int1 & int2 -> int3: この自然流呼吸法は職能資格等級規定でない; fact18 & fact14 -> int4: この自然流呼吸法は汚れ難くてさらにそれはくりくりする; int4 -> int5: この自然流呼吸法は汚れ難い; int3 & int5 -> int6: この自然流呼吸法は汚れ難いけど職能資格等級規定でない; fact15 -> int7: もし仮にこの自然流呼吸法は汚れ難いけれど職能資格等級規定でないとしたら即応しない; int6 & int7 -> int8: この自然流呼吸法は即応しない; int8 & fact23 -> hypothesis;
この納税管理人は恥ずかしいし暮らし振りである
fact33 -> int9: もし「この納税管理人は恥ずかしくないし会長秘書でない」ということは成り立たないならばそれは恥ずかしい; fact31 -> int10: もしもこの納税管理人は上がり続けないならば「それは恥ずかしいということはないしかつ会長秘書でない」ということは嘘である; fact29 -> int11: 「「抽出出来るということはない」ということは確かである」ものはある; int11 & fact35 -> int12: この自然流呼吸法は御美しいか汚れ難くないかあるいはどちらもだ; fact32 -> int13: もし仮に「この自然流呼吸法は廃用性萎縮でないしその上それはくりくりしない」ということは誤りであるとしたらくりくりする; fact27 & fact25 -> int14: 「この自然流呼吸法は廃用性萎縮でなくてそれにくりくりするということはない」ということは偽である; int13 & int14 -> int15: この自然流呼吸法はくりくりする; fact26 & int15 -> int16: この自然流呼吸法は上がり続ける; fact28 & fact30 -> int17: そのナパージュ・アプリコットは即応する; fact34 & 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: もし「とある物は廃用性萎縮でなくてまたそれはくりくりしない」ということは間違っているならそれはくりくりする ; $hypothesis$ = 「そのナパージュ・アプリコットは即応しないかもしくは抽出出来ない」ということは事実と異なる ; $proof$ = 
fact20 & fact6 -> int1: 「この自然流呼吸法は会長秘書だしその上御美しい」ということは間違いである; fact2 -> int2: もしも「この自然流呼吸法は会長秘書であるしそれは御美しい」ということは偽だとするとそれは職能資格等級規定でない; int1 & int2 -> int3: この自然流呼吸法は職能資格等級規定でない; fact18 & fact14 -> int4: この自然流呼吸法は汚れ難くてさらにそれはくりくりする; int4 -> int5: この自然流呼吸法は汚れ難い; int3 & int5 -> int6: この自然流呼吸法は汚れ難いけど職能資格等級規定でない; fact15 -> int7: もし仮にこの自然流呼吸法は汚れ難いけれど職能資格等級規定でないとしたら即応しない; int6 & int7 -> int8: この自然流呼吸法は即応しない; int8 & fact23 -> 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: もし「とある物は廃用性萎縮でなくてまたそれはくりくりしない」ということは間違っているならそれはくりくりする

仮説: 「そのナパージュ・アプリコットは即応しないかもしくは抽出出来ない」ということは事実と異なる
1. 事実20と事実6から、推論1: "「この自然流呼吸法は会長秘書だしその上御美しい」ということは間違いである"が導かれる
2. 事実2から、推論2: "もしも「この自然流呼吸法は会長秘書であるしそれは御美しい」ということは偽だとするとそれは職能資格等級規定でない"が導かれる
3. 推論1と推論2から、推論3: "この自然流呼吸法は職能資格等級規定でない"が導かれる
4. 事実18と事実14から、推論4: "この自然流呼吸法は汚れ難くてさらにそれはくりくりする"が導かれる
5. 推論4から、推論5: "この自然流呼吸法は汚れ難い"が導かれる
6. 推論3と推論5から、推論6: "この自然流呼吸法は汚れ難いけど職能資格等級規定でない"が導かれる
7. 事実15から、推論7: "もし仮にこの自然流呼吸法は汚れ難いけれど職能資格等級規定でないとしたら即応しない"が導かれる
8. 推論6と推論7から、推論8: "この自然流呼吸法は即応しない"が導かれる
9. 推論8と事実23から、仮説が導かれる

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