「あの電磁放射線は集団単位だということはない」ということは間違いでない
fact1: 仮にこの社会党右派がアートフラワーであるということはないとすればあの電磁放射線は水力でない fact2: もしも「その国書碑は因むし毒々しい」ということは偽であるなら毒々しかない fact3: もし「この一．五倍程度は及び難くて太り難い」ということは事実でないとすればあの電磁放射線は続発しない fact4: もし「「ある物は格好悪いけど裏切らない」ということは成り立つ」ということは事実と異なればそれはすばしっこい fact5: なにがしかのものは水力だということはないとすれば「それは集団単位でないか続発しないか両方ともである」ということは間違っている fact6: もしもこの製品・サービスが水力ならこの社会党右派は水力でない fact7: 仮に何かは強がらないとするとそれは水力だし安し fact8: もしこの社会党右派が水力だということはないし続発しないとすればあの電磁放射線は集団単位だ fact9: もしも「あの白雲はパロディーである」ということは成り立たないならば「その国書碑は因むしさらに毒々しい」ということは成り立たない fact10: もし仮に「その国書碑は続発するということはなくて更にアートフラワーでない」ということは成り立たないならばこの社会党右派は続発しない fact11: とあるものが続発しないならば集団単位でない fact12: それが及び難いしその上太り難いという物はない fact13: 仮に安し物が毒々しかないとするとアートフラワーであるということはない fact14: 仮にある物は毒々しかないとしたら「それは続発しないしその上それはアートフラワーでない」ということは誤りだ fact15: もしも「とある物は強がるけれど大好評でない」ということは成り立つということはないとすればそれは強がらない fact16: もしこの製品・サービスはすばしっこいならば「強がるけれど大好評でない」ということは偽である fact17: 「この製品・サービスは格好悪いけれど裏切らない」ということは事実でない
fact12 -> int1: 「この一．五倍程度は及び難くて太り難い」ということは成り立たない; int1 & fact3 -> int2: あの電磁放射線は続発するということはない; fact11 -> int3: もしあの電磁放射線が続発しないとすると集団単位だということはない; int2 & int3 -> hypothesis;
fact12 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ¬{A}{a}; fact11 -> int3: ¬{A}{a} -> ¬{B}{a}; int2 & int3 -> hypothesis;
その大気組成は及び難いということはない
fact20 -> int4: もしあの電磁放射線は水力でないなら「それは集団単位でないか続発するということはないかどちらもである」ということは誤っている; fact19 -> int5: もし仮にこの社会党右派が安しけれどそれが毒々しかないとすればアートフラワーでない;
$facts$ = fact1: 仮にこの社会党右派がアートフラワーであるということはないとすればあの電磁放射線は水力でない fact2: もしも「その国書碑は因むし毒々しい」ということは偽であるなら毒々しかない fact3: もし「この一．五倍程度は及び難くて太り難い」ということは事実でないとすればあの電磁放射線は続発しない fact4: もし「「ある物は格好悪いけど裏切らない」ということは成り立つ」ということは事実と異なればそれはすばしっこい fact5: なにがしかのものは水力だということはないとすれば「それは集団単位でないか続発しないか両方ともである」ということは間違っている fact6: もしもこの製品・サービスが水力ならこの社会党右派は水力でない fact7: 仮に何かは強がらないとするとそれは水力だし安し fact8: もしこの社会党右派が水力だということはないし続発しないとすればあの電磁放射線は集団単位だ fact9: もしも「あの白雲はパロディーである」ということは成り立たないならば「その国書碑は因むしさらに毒々しい」ということは成り立たない fact10: もし仮に「その国書碑は続発するということはなくて更にアートフラワーでない」ということは成り立たないならばこの社会党右派は続発しない fact11: とあるものが続発しないならば集団単位でない fact12: それが及び難いしその上太り難いという物はない fact13: 仮に安し物が毒々しかないとするとアートフラワーであるということはない fact14: 仮にある物は毒々しかないとしたら「それは続発しないしその上それはアートフラワーでない」ということは誤りだ fact15: もしも「とある物は強がるけれど大好評でない」ということは成り立つということはないとすればそれは強がらない fact16: もしこの製品・サービスはすばしっこいならば「強がるけれど大好評でない」ということは偽である fact17: 「この製品・サービスは格好悪いけれど裏切らない」ということは事実でない ; $hypothesis$ = 「あの電磁放射線は集団単位だということはない」ということは間違いでない ; $proof$ = 
fact12 -> int1: 「この一．五倍程度は及び難くて太り難い」ということは成り立たない; int1 & fact3 -> int2: あの電磁放射線は続発するということはない; fact11 -> int3: もしあの電磁放射線が続発しないとすると集団単位だということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮にこの社会党右派がアートフラワーであるということはないとすればあの電磁放射線は水力でない
事実2: もしも「その国書碑は因むし毒々しい」ということは偽であるなら毒々しかない
事実3: もし「この一．五倍程度は及び難くて太り難い」ということは事実でないとすればあの電磁放射線は続発しない
事実4: もし「「ある物は格好悪いけど裏切らない」ということは成り立つ」ということは事実と異なればそれはすばしっこい
事実5: なにがしかのものは水力だということはないとすれば「それは集団単位でないか続発しないか両方ともである」ということは間違っている
事実6: もしもこの製品・サービスが水力ならこの社会党右派は水力でない
事実7: 仮に何かは強がらないとするとそれは水力だし安し
事実8: もしこの社会党右派が水力だということはないし続発しないとすればあの電磁放射線は集団単位だ
事実9: もしも「あの白雲はパロディーである」ということは成り立たないならば「その国書碑は因むしさらに毒々しい」ということは成り立たない
事実10: もし仮に「その国書碑は続発するということはなくて更にアートフラワーでない」ということは成り立たないならばこの社会党右派は続発しない
事実11: とあるものが続発しないならば集団単位でない
事実12: それが及び難いしその上太り難いという物はない
事実13: 仮に安し物が毒々しかないとするとアートフラワーであるということはない
事実14: 仮にある物は毒々しかないとしたら「それは続発しないしその上それはアートフラワーでない」ということは誤りだ
事実15: もしも「とある物は強がるけれど大好評でない」ということは成り立つということはないとすればそれは強がらない
事実16: もしこの製品・サービスはすばしっこいならば「強がるけれど大好評でない」ということは偽である
事実17: 「この製品・サービスは格好悪いけれど裏切らない」ということは事実でない

仮説: 「あの電磁放射線は集団単位だということはない」ということは間違いでない
1. 事実12から、推論1: "「この一．五倍程度は及び難くて太り難い」ということは成り立たない"が導かれる
2. 推論1と事実3から、推論2: "あの電磁放射線は続発するということはない"が導かれる
3. 事実11から、推論3: "もしあの電磁放射線が続発しないとすると集団単位だということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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