その片恋は組み直さないしその上説明文でない
fact1: 「その手数料収入は反応し易くないけど詳しい」ということは誤りである fact2: もし「この群像は粉っぽい」ということは確かであるとしたらあの一部上場企業は組み直す fact3: 「その思はべた付き易くないしそれは説明文でない」ということは成り立たない fact4: ある物は誘い合うとすれば「粉っぽい」ということは真実だ fact5: もしも「その片恋は分かり合えなくて誘い合うということはない」ということは間違いだとするとそれは痛くない fact6: 「その片恋は組み直さないし更に説明文でない」ということは成り立たないとすれば誘い合わない fact7: 「その片恋は仕事らしくないがそれはたくし込む」ということは間違いである fact8: その片恋は誘い合う fact9: この主権国家体系は説明文だ
void -> assump1: 以下のように仮定する。「その片恋は組み直すということはなくてしかも説明文でない」ということは本当でない; fact6 & assump1 -> int1: その片恋は誘い合わない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
「その片恋は組み直さないし説明文でない」ということは誤りである
fact11 -> int3: もしこの群像が誘い合えば粉っぽい;
$facts$ = fact1: 「その手数料収入は反応し易くないけど詳しい」ということは誤りである fact2: もし「この群像は粉っぽい」ということは確かであるとしたらあの一部上場企業は組み直す fact3: 「その思はべた付き易くないしそれは説明文でない」ということは成り立たない fact4: ある物は誘い合うとすれば「粉っぽい」ということは真実だ fact5: もしも「その片恋は分かり合えなくて誘い合うということはない」ということは間違いだとするとそれは痛くない fact6: 「その片恋は組み直さないし更に説明文でない」ということは成り立たないとすれば誘い合わない fact7: 「その片恋は仕事らしくないがそれはたくし込む」ということは間違いである fact8: その片恋は誘い合う fact9: この主権国家体系は説明文だ ; $hypothesis$ = その片恋は組み直さないしその上説明文でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その片恋は組み直すということはなくてしかも説明文でない」ということは本当でない; fact6 & assump1 -> int1: その片恋は誘い合わない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「その手数料収入は反応し易くないけど詳しい」ということは誤りである
事実2: もし「この群像は粉っぽい」ということは確かであるとしたらあの一部上場企業は組み直す
事実3: 「その思はべた付き易くないしそれは説明文でない」ということは成り立たない
事実4: ある物は誘い合うとすれば「粉っぽい」ということは真実だ
事実5: もしも「その片恋は分かり合えなくて誘い合うということはない」ということは間違いだとするとそれは痛くない
事実6: 「その片恋は組み直さないし更に説明文でない」ということは成り立たないとすれば誘い合わない
事実7: 「その片恋は仕事らしくないがそれはたくし込む」ということは間違いである
事実8: その片恋は誘い合う
事実9: この主権国家体系は説明文だ

仮説: その片恋は組み直さないしその上説明文でない
1. 仮定1: 以下のように仮定する。「その片恋は組み直すということはなくてしかも説明文でない」ということは本当でない
2. 事実6と仮定1から、推論1: "その片恋は誘い合わない"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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