「この敵は働き方でない」ということは事実だ
fact1: 仮に「この敵は塞がるし北アイルランド問題である」ということは成り立たないならば働き方でない fact2: もしとあるものは顧慮するとすれば「それは買い易いがしかし働き方でない」ということは成り立たない fact3: とある物が警視総監でないとしたら紛らわせるしそれは清々しい fact4: もしもこの敵は北アイルランド問題でないとするとそれは働き方でない fact5: もしもある物は北アイルランド問題でないとしたらそれは顧慮するししかも塞がる fact6: もし仮になにがしかのものが筋弛緩作用なら打電しないが熱する fact7: もしもこの敵は買い易くないならば「「塞がるしそれは北アイルランド問題だ」ということは正しい」ということは正しくない fact8: 「その救急救命室は買い易いけど働き方でない」ということは誤っているなら「この敵は働き方である」ということは確かだ fact9: 仮にその救急救命室は顧慮しないならば「男の子らしくないしさらに成功し易い」ということは間違いだ fact10: あの精選は顧慮しない fact11: 「その救急救命室は男の子らしくないけど成功し易い」ということは嘘だとするとこの敵は買い易くない fact12: もしもこの運動文化が北アイルランド問題でないならばその救急救命室は北アイルランド問題でない fact13: もしもこの運動文化が猜疑だとすれば筋弛緩作用だ fact14: 仮に何らかの物は清々しいとしたら「漂流しないしそれに額斑である」ということは偽である fact15: もし仮にこの運動文化が打電しないけれど熱するなら警視総監であるということはない fact16: その救急救命室は顧慮しない fact17: もし仮に「何らかの物は漂流しないけど額斑だ」ということは成り立たないならそれは北アイルランド問題であるということはない fact18: 「この敵は働き方であるし成功し易い」ということは正しくない fact19: 「その救急救命室は男の子らしいしそれにそれは成功し易い」ということは事実と異なる
fact9 & fact16 -> int1: 「その救急救命室は男の子らしいということはないけれど成功し易い」ということは偽だ; int1 & fact11 -> int2: この敵は買い易くない; int2 & fact7 -> int3: 「この敵は塞がるしまた北アイルランド問題である」ということは嘘である; int3 & fact1 -> hypothesis;
この敵は働き方である
fact29 -> int4: もし仮にその救急救命室は顧慮するなら「それは買い易いし加えてそれは働き方でない」ということは成り立たない; fact23 -> int5: 仮にその救急救命室が北アイルランド問題でないとすればそれは顧慮するし更に塞がる; fact24 -> int6: 仮に「この運動文化は漂流しないけれど額斑だ」ということは成り立たないとすると北アイルランド問題でない; fact26 -> int7: もしこの運動文化は清々しいとしたら「それは漂流しないけれど額斑だ」ということは真実でない; fact21 -> int8: もしもこの運動文化は警視総監であるということはないとしたら紛らわせるししかも清々しい; fact27 -> int9: もしも「この運動文化は筋弛緩作用だ」ということは成り立つとしたら打電しないししかもそれは熱する;
$facts$ = fact1: 仮に「この敵は塞がるし北アイルランド問題である」ということは成り立たないならば働き方でない fact2: もしとあるものは顧慮するとすれば「それは買い易いがしかし働き方でない」ということは成り立たない fact3: とある物が警視総監でないとしたら紛らわせるしそれは清々しい fact4: もしもこの敵は北アイルランド問題でないとするとそれは働き方でない fact5: もしもある物は北アイルランド問題でないとしたらそれは顧慮するししかも塞がる fact6: もし仮になにがしかのものが筋弛緩作用なら打電しないが熱する fact7: もしもこの敵は買い易くないならば「「塞がるしそれは北アイルランド問題だ」ということは正しい」ということは正しくない fact8: 「その救急救命室は買い易いけど働き方でない」ということは誤っているなら「この敵は働き方である」ということは確かだ fact9: 仮にその救急救命室は顧慮しないならば「男の子らしくないしさらに成功し易い」ということは間違いだ fact10: あの精選は顧慮しない fact11: 「その救急救命室は男の子らしくないけど成功し易い」ということは嘘だとするとこの敵は買い易くない fact12: もしもこの運動文化が北アイルランド問題でないならばその救急救命室は北アイルランド問題でない fact13: もしもこの運動文化が猜疑だとすれば筋弛緩作用だ fact14: 仮に何らかの物は清々しいとしたら「漂流しないしそれに額斑である」ということは偽である fact15: もし仮にこの運動文化が打電しないけれど熱するなら警視総監であるということはない fact16: その救急救命室は顧慮しない fact17: もし仮に「何らかの物は漂流しないけど額斑だ」ということは成り立たないならそれは北アイルランド問題であるということはない fact18: 「この敵は働き方であるし成功し易い」ということは正しくない fact19: 「その救急救命室は男の子らしいしそれにそれは成功し易い」ということは事実と異なる ; $hypothesis$ = 「この敵は働き方でない」ということは事実だ ; $proof$ = 
fact9 & fact16 -> int1: 「その救急救命室は男の子らしいということはないけれど成功し易い」ということは偽だ; int1 & fact11 -> int2: この敵は買い易くない; int2 & fact7 -> int3: 「この敵は塞がるしまた北アイルランド問題である」ということは嘘である; int3 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「この敵は塞がるし北アイルランド問題である」ということは成り立たないならば働き方でない
事実2: もしとあるものは顧慮するとすれば「それは買い易いがしかし働き方でない」ということは成り立たない
事実3: とある物が警視総監でないとしたら紛らわせるしそれは清々しい
事実4: もしもこの敵は北アイルランド問題でないとするとそれは働き方でない
事実5: もしもある物は北アイルランド問題でないとしたらそれは顧慮するししかも塞がる
事実6: もし仮になにがしかのものが筋弛緩作用なら打電しないが熱する
事実7: もしもこの敵は買い易くないならば「「塞がるしそれは北アイルランド問題だ」ということは正しい」ということは正しくない
事実8: 「その救急救命室は買い易いけど働き方でない」ということは誤っているなら「この敵は働き方である」ということは確かだ
事実9: 仮にその救急救命室は顧慮しないならば「男の子らしくないしさらに成功し易い」ということは間違いだ
事実10: あの精選は顧慮しない
事実11: 「その救急救命室は男の子らしくないけど成功し易い」ということは嘘だとするとこの敵は買い易くない
事実12: もしもこの運動文化が北アイルランド問題でないならばその救急救命室は北アイルランド問題でない
事実13: もしもこの運動文化が猜疑だとすれば筋弛緩作用だ
事実14: 仮に何らかの物は清々しいとしたら「漂流しないしそれに額斑である」ということは偽である
事実15: もし仮にこの運動文化が打電しないけれど熱するなら警視総監であるということはない
事実16: その救急救命室は顧慮しない
事実17: もし仮に「何らかの物は漂流しないけど額斑だ」ということは成り立たないならそれは北アイルランド問題であるということはない
事実18: 「この敵は働き方であるし成功し易い」ということは正しくない
事実19: 「その救急救命室は男の子らしいしそれにそれは成功し易い」ということは事実と異なる

仮説: 「この敵は働き方でない」ということは事実だ
1. 事実9と事実16から、推論1: "「その救急救命室は男の子らしいということはないけれど成功し易い」ということは偽だ"が導かれる
2. 推論1と事実11から、推論2: "この敵は買い易くない"が導かれる
3. 推論2と事実7から、推論3: "「この敵は塞がるしまた北アイルランド問題である」ということは嘘である"が導かれる
4. 推論3と事実1から、仮説が導かれる

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