そのハイブリッドバリアフィルムは太り難いかそれは取得し易い
fact1: その党人は敵司令官でないとすると「流し出すしかつ水平だ」ということは偽である fact2: もし仮に何かは敵司令官でないならば「太り難いかあるいは取得し易い」ということは誤っている fact3: なにかは共通利益だということはないとすると「「太り難くないしまた敵司令官でない」ということは成り立つ」ということは成り立たない fact4: もしこの特定国内希少野生動植物種は敵司令官なら「その食事付き入浴は美しいけれど水平でない」ということは間違っている fact5: もし仮に「「その約四千年前は込み上げるしまた大型ショップである」ということは真実である」ということは正しくないとするとそれは発火でない fact6: もし仮に「そのハイブリッドバリアフィルムは太り難くないし敵司令官でない」ということは間違っているならばあの特定国内希少野生動植物種は敵司令官だ fact7: その党人が水平ならばこの特定国内希少野生動植物種は共通利益である fact8: 「その党人は押さえ難くないが険しい」ということは成り立たない fact9: もし仮にその党人が険しいとするとそれは敵司令官でない fact10: 仮にその約四千年前は発火でないならばそれは狡っ辛くないし目論まない fact11: 押さえ難くない物は敵司令官であるしその上共通利益である fact12: もしも「その党人は流し出すけどそれは水平でない」ということは偽であるならばこの特定国内希少野生動植物種は共通利益だ fact13: 仮に何らかのものは敵司令官でないとすれば「それは流し出すしそれに水平だ」ということは成り立たない fact14: 「その党人は押さえ難いということはなくて更に険しかない」ということは誤っている fact15: この特定国内希少野生動植物種が共通利益だとしたらそのハイブリッドバリアフィルムは太り難い fact16: 仮に険しかないものが格好悪いならそれは押さえ難くない fact17: 「その党人は押さえ難くないし加えて険しかない」ということは成り立たないとすれば敵司令官でない fact18: 「この意識全体は蛋白分解酵素でないしＨＡでない」ということは成り立たない fact19: 「その党人は流し出すしそれに水平である」ということは事実と異なる fact20: 「その約四千年前は込み上げるしまた大型ショップである」ということは成り立つということはない fact21: ある物は敵司令官であるということはないならば「それは流し出すし水平でない」ということは間違いである
fact21 -> int1: 仮にその党人は敵司令官でないとすれば「それは流し出すしかつ水平でない」ということは事実と異なる; fact17 & fact14 -> int2: その党人は敵司令官だということはない; int1 & int2 -> int3: 「その党人は流し出すけれどそれは水平だということはない」ということは間違っている; int3 & fact12 -> int4: この特定国内希少野生動植物種は共通利益だ; int4 & fact15 -> int5: そのハイブリッドバリアフィルムは太り難い; int5 -> hypothesis;
「その食事付き入浴は美しいが水平でない」ということは成り立たない
fact24 -> int6: もしもそのハイブリッドバリアフィルムは共通利益でないとすると「太り難くないしその上それは敵司令官でない」ということは間違っている;
$facts$ = fact1: その党人は敵司令官でないとすると「流し出すしかつ水平だ」ということは偽である fact2: もし仮に何かは敵司令官でないならば「太り難いかあるいは取得し易い」ということは誤っている fact3: なにかは共通利益だということはないとすると「「太り難くないしまた敵司令官でない」ということは成り立つ」ということは成り立たない fact4: もしこの特定国内希少野生動植物種は敵司令官なら「その食事付き入浴は美しいけれど水平でない」ということは間違っている fact5: もし仮に「「その約四千年前は込み上げるしまた大型ショップである」ということは真実である」ということは正しくないとするとそれは発火でない fact6: もし仮に「そのハイブリッドバリアフィルムは太り難くないし敵司令官でない」ということは間違っているならばあの特定国内希少野生動植物種は敵司令官だ fact7: その党人が水平ならばこの特定国内希少野生動植物種は共通利益である fact8: 「その党人は押さえ難くないが険しい」ということは成り立たない fact9: もし仮にその党人が険しいとするとそれは敵司令官でない fact10: 仮にその約四千年前は発火でないならばそれは狡っ辛くないし目論まない fact11: 押さえ難くない物は敵司令官であるしその上共通利益である fact12: もしも「その党人は流し出すけどそれは水平でない」ということは偽であるならばこの特定国内希少野生動植物種は共通利益だ fact13: 仮に何らかのものは敵司令官でないとすれば「それは流し出すしそれに水平だ」ということは成り立たない fact14: 「その党人は押さえ難いということはなくて更に険しかない」ということは誤っている fact15: この特定国内希少野生動植物種が共通利益だとしたらそのハイブリッドバリアフィルムは太り難い fact16: 仮に険しかないものが格好悪いならそれは押さえ難くない fact17: 「その党人は押さえ難くないし加えて険しかない」ということは成り立たないとすれば敵司令官でない fact18: 「この意識全体は蛋白分解酵素でないしＨＡでない」ということは成り立たない fact19: 「その党人は流し出すしそれに水平である」ということは事実と異なる fact20: 「その約四千年前は込み上げるしまた大型ショップである」ということは成り立つということはない fact21: ある物は敵司令官であるということはないならば「それは流し出すし水平でない」ということは間違いである ; $hypothesis$ = そのハイブリッドバリアフィルムは太り難いかそれは取得し易い ; $proof$ = 
fact21 -> int1: 仮にその党人は敵司令官でないとすれば「それは流し出すしかつ水平でない」ということは事実と異なる; fact17 & fact14 -> int2: その党人は敵司令官だということはない; int1 & int2 -> int3: 「その党人は流し出すけれどそれは水平だということはない」ということは間違っている; int3 & fact12 -> int4: この特定国内希少野生動植物種は共通利益だ; int4 & fact15 -> int5: そのハイブリッドバリアフィルムは太り難い; int5 -> hypothesis; __PROVED__
事実1: その党人は敵司令官でないとすると「流し出すしかつ水平だ」ということは偽である
事実2: もし仮に何かは敵司令官でないならば「太り難いかあるいは取得し易い」ということは誤っている
事実3: なにかは共通利益だということはないとすると「「太り難くないしまた敵司令官でない」ということは成り立つ」ということは成り立たない
事実4: もしこの特定国内希少野生動植物種は敵司令官なら「その食事付き入浴は美しいけれど水平でない」ということは間違っている
事実5: もし仮に「「その約四千年前は込み上げるしまた大型ショップである」ということは真実である」ということは正しくないとするとそれは発火でない
事実6: もし仮に「そのハイブリッドバリアフィルムは太り難くないし敵司令官でない」ということは間違っているならばあの特定国内希少野生動植物種は敵司令官だ
事実7: その党人が水平ならばこの特定国内希少野生動植物種は共通利益である
事実8: 「その党人は押さえ難くないが険しい」ということは成り立たない
事実9: もし仮にその党人が険しいとするとそれは敵司令官でない
事実10: 仮にその約四千年前は発火でないならばそれは狡っ辛くないし目論まない
事実11: 押さえ難くない物は敵司令官であるしその上共通利益である
事実12: もしも「その党人は流し出すけどそれは水平でない」ということは偽であるならばこの特定国内希少野生動植物種は共通利益だ
事実13: 仮に何らかのものは敵司令官でないとすれば「それは流し出すしそれに水平だ」ということは成り立たない
事実14: 「その党人は押さえ難いということはなくて更に険しかない」ということは誤っている
事実15: この特定国内希少野生動植物種が共通利益だとしたらそのハイブリッドバリアフィルムは太り難い
事実16: 仮に険しかないものが格好悪いならそれは押さえ難くない
事実17: 「その党人は押さえ難くないし加えて険しかない」ということは成り立たないとすれば敵司令官でない
事実18: 「この意識全体は蛋白分解酵素でないしＨＡでない」ということは成り立たない
事実19: 「その党人は流し出すしそれに水平である」ということは事実と異なる
事実20: 「その約四千年前は込み上げるしまた大型ショップである」ということは成り立つということはない
事実21: ある物は敵司令官であるということはないならば「それは流し出すし水平でない」ということは間違いである

仮説: そのハイブリッドバリアフィルムは太り難いかそれは取得し易い
1. 事実21から、推論1: "仮にその党人は敵司令官でないとすれば「それは流し出すしかつ水平でない」ということは事実と異なる"が導かれる
2. 事実17と事実14から、推論2: "その党人は敵司令官だということはない"が導かれる
3. 推論1と推論2から、推論3: "「その党人は流し出すけれどそれは水平だということはない」ということは間違っている"が導かれる
4. 推論3と事実12から、推論4: "この特定国内希少野生動植物種は共通利益だ"が導かれる
5. 推論4と事実15から、推論5: "そのハイブリッドバリアフィルムは太り難い"が導かれる
6. 推論5から、仮説が導かれる

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