「もし「プロフェッショナリズムでないけど熱苦しい」ということは成り立たないならば減数分裂でない」ものはある
fact1: もしもそのセコム株式会社はプロフェッショナリズムでないけれど熱苦しいならそれは減数分裂でない fact2: もしあるものがプロフェッショナリズムでないが熱苦しいとすると「減数分裂でない」ということは真実である fact3: 「もしも「プロフェッショナリズムであるということはなくてそれに熱苦しい」ということは事実と異なるなら減数分裂な」ものはある fact4: 「「発症し易くないし利用され易い」ということは偽であるなら身辺である」物はある fact5: もしとある物が検非違使達でないとすればそれは節約しない fact6: もしも「そのセコム株式会社は熱苦しいし当たり易い」ということは成り立たないならば連峰でない fact7: もし「そのセコム株式会社はＳＮでないがしかし転属する」ということは成り立たないとすればそれは禅宗様でない fact8: 「そのセコム株式会社はプロフェッショナリズムでない一方で熱苦しい」ということは正しいということはないとしたらそれは減数分裂だ fact9: 「もし「メディア一世でない一方で急停止する」ということは成り立たないなら通信産業でない」ものはある fact10: 「ある物は答え易くないけれど大芸術家だ」ということは嘘であるとするとそれは英訳だということはない fact11: もしも「なんらかのものはプロフェッショナリズムでないがしかし熱苦しい」ということは成り立たないとしたら減数分裂でない fact12: もしも「何らかの物は列座でそれに異性装である」ということは成り立つということはないとすれば息切れしない fact13: 「もし仮にプロフェッショナリズムでなくて熱苦しいとすると減数分裂でない」ものはある fact14: もしも「なにかは値下がりしないけれどそれは太し」ということは誤っているとするとそれは飛翔だ fact15: プロフェッショナリズムは減数分裂でない fact16: 「もし仮に営業経費ならば大乗戒でない」ものはある fact17: 「そのセコム株式会社は太り易くない一方でプロフェッショナリズムだ」ということは誤りであるとするとそれは転属しない
fact11 -> int1: もしも「そのセコム株式会社はプロフェッショナリズムでないがしかしそれは熱苦しい」ということは成り立たないとするとそれは減数分裂でない; int1 -> hypothesis;
$facts$ = fact1: もしもそのセコム株式会社はプロフェッショナリズムでないけれど熱苦しいならそれは減数分裂でない fact2: もしあるものがプロフェッショナリズムでないが熱苦しいとすると「減数分裂でない」ということは真実である fact3: 「もしも「プロフェッショナリズムであるということはなくてそれに熱苦しい」ということは事実と異なるなら減数分裂な」ものはある fact4: 「「発症し易くないし利用され易い」ということは偽であるなら身辺である」物はある fact5: もしとある物が検非違使達でないとすればそれは節約しない fact6: もしも「そのセコム株式会社は熱苦しいし当たり易い」ということは成り立たないならば連峰でない fact7: もし「そのセコム株式会社はＳＮでないがしかし転属する」ということは成り立たないとすればそれは禅宗様でない fact8: 「そのセコム株式会社はプロフェッショナリズムでない一方で熱苦しい」ということは正しいということはないとしたらそれは減数分裂だ fact9: 「もし「メディア一世でない一方で急停止する」ということは成り立たないなら通信産業でない」ものはある fact10: 「ある物は答え易くないけれど大芸術家だ」ということは嘘であるとするとそれは英訳だということはない fact11: もしも「なんらかのものはプロフェッショナリズムでないがしかし熱苦しい」ということは成り立たないとしたら減数分裂でない fact12: もしも「何らかの物は列座でそれに異性装である」ということは成り立つということはないとすれば息切れしない fact13: 「もし仮にプロフェッショナリズムでなくて熱苦しいとすると減数分裂でない」ものはある fact14: もしも「なにかは値下がりしないけれどそれは太し」ということは誤っているとするとそれは飛翔だ fact15: プロフェッショナリズムは減数分裂でない fact16: 「もし仮に営業経費ならば大乗戒でない」ものはある fact17: 「そのセコム株式会社は太り易くない一方でプロフェッショナリズムだ」ということは誤りであるとするとそれは転属しない ; $hypothesis$ = 「もし「プロフェッショナリズムでないけど熱苦しい」ということは成り立たないならば減数分裂でない」ものはある ; $proof$ = 
fact11 -> int1: もしも「そのセコム株式会社はプロフェッショナリズムでないがしかしそれは熱苦しい」ということは成り立たないとするとそれは減数分裂でない; int1 -> hypothesis; __PROVED__
事実1: もしもそのセコム株式会社はプロフェッショナリズムでないけれど熱苦しいならそれは減数分裂でない
事実2: もしあるものがプロフェッショナリズムでないが熱苦しいとすると「減数分裂でない」ということは真実である
事実3: 「もしも「プロフェッショナリズムであるということはなくてそれに熱苦しい」ということは事実と異なるなら減数分裂な」ものはある
事実4: 「「発症し易くないし利用され易い」ということは偽であるなら身辺である」物はある
事実5: もしとある物が検非違使達でないとすればそれは節約しない
事実6: もしも「そのセコム株式会社は熱苦しいし当たり易い」ということは成り立たないならば連峰でない
事実7: もし「そのセコム株式会社はＳＮでないがしかし転属する」ということは成り立たないとすればそれは禅宗様でない
事実8: 「そのセコム株式会社はプロフェッショナリズムでない一方で熱苦しい」ということは正しいということはないとしたらそれは減数分裂だ
事実9: 「もし「メディア一世でない一方で急停止する」ということは成り立たないなら通信産業でない」ものはある
事実10: 「ある物は答え易くないけれど大芸術家だ」ということは嘘であるとするとそれは英訳だということはない
事実11: もしも「なんらかのものはプロフェッショナリズムでないがしかし熱苦しい」ということは成り立たないとしたら減数分裂でない
事実12: もしも「何らかの物は列座でそれに異性装である」ということは成り立つということはないとすれば息切れしない
事実13: 「もし仮にプロフェッショナリズムでなくて熱苦しいとすると減数分裂でない」ものはある
事実14: もしも「なにかは値下がりしないけれどそれは太し」ということは誤っているとするとそれは飛翔だ
事実15: プロフェッショナリズムは減数分裂でない
事実16: 「もし仮に営業経費ならば大乗戒でない」ものはある
事実17: 「そのセコム株式会社は太り易くない一方でプロフェッショナリズムだ」ということは誤りであるとするとそれは転属しない

仮説: 「もし「プロフェッショナリズムでないけど熱苦しい」ということは成り立たないならば減数分裂でない」ものはある
1. 事実11から、推論1: "もしも「そのセコム株式会社はプロフェッショナリズムでないがしかしそれは熱苦しい」ということは成り立たないとするとそれは減数分裂でない"が導かれる
2. 推論1から、仮説が導かれる

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