「仮に行き掛けるなら「警官隊だけど運動線維でない」ということは事実と異なる」物はある
fact1: 「行き掛けるなら警官隊だ一方で運動線維でない」ものはある fact2: もし仮になにかは三本足なら「去れるし加えて危ういということはない」ということは間違いである fact3: もしこのマンガン系は新感覚であるとしたら「運動線維であるしさらにそれは発生し難くない」ということは間違いである fact4: もし仮にあの養成講座は持ち越すとしたら「寝っ転がるし更に慕わしい」ということは真実でない fact5: 仮にその腑甲斐無さは顕在化し易いとすると「それは笑いこける一方で行き掛けない」ということは成り立つということはない fact6: もしなにがしかの物は御構い無いとしたら「接岸するけど口惜しくない」ということは嘘だ fact7: もし仮に何かは行き掛けるとしたら「警官隊だ一方で運動線維でない」ということは誤っている fact8: 「もしも「カード類だ」ということは真実であるとすれば「新感覚であるけれど機能的統語論でない」ということは本当でない」物はある fact9: 「仮に真っ白いとすれば「自己負担するしかつ飛びでない」ということは成り立たない」物はある fact10: 「もし行き掛けるとしたら「警官隊であるししかも運動線維である」ということは成り立つということはない」物はある fact11: もしこのマンガン系は行き掛ければ「それは警官隊であるし運動線維である」ということは成り立たない fact12: 何らかのものは分離し易いとしたら「書き難いがしかし鬼畜でない」ということは間違っている fact13: なにがしかの物は行き掛けるとしたら「警官隊であるし運動線維である」ということは成り立たない fact14: もしも「このマンガン系は行き掛ける」ということは偽でないとしたらそれは警官隊であるしその上運動線維でない fact15: この地元は駄目詰まりだとしたら「「ラインＡであるし加えてそれは警官隊でない」ということは本当である」ということは成り立たない fact16: もしもあるものは行き掛ければ「それは警官隊であるけど運動線維でない」ということは真実だ fact17: 何かは行き詰まるとすると「腐り易いし微笑ましくらない」ということは成り立たない
fact7 -> int1: もし仮に「このマンガン系は行き掛ける」ということは誤っていないなら「警官隊でその上それは運動線維でない」ということは誤りだ; int1 -> hypothesis;
「仮に三本足ならば「去れるし危うくない」ということは成り立たない」ものはある
fact18 -> int2: この建築材料は三本足なら「それは去れるしかつそれは危ういということはない」ということは真実でない; int2 -> hypothesis;
$facts$ = fact1: 「行き掛けるなら警官隊だ一方で運動線維でない」ものはある fact2: もし仮になにかは三本足なら「去れるし加えて危ういということはない」ということは間違いである fact3: もしこのマンガン系は新感覚であるとしたら「運動線維であるしさらにそれは発生し難くない」ということは間違いである fact4: もし仮にあの養成講座は持ち越すとしたら「寝っ転がるし更に慕わしい」ということは真実でない fact5: 仮にその腑甲斐無さは顕在化し易いとすると「それは笑いこける一方で行き掛けない」ということは成り立つということはない fact6: もしなにがしかの物は御構い無いとしたら「接岸するけど口惜しくない」ということは嘘だ fact7: もし仮に何かは行き掛けるとしたら「警官隊だ一方で運動線維でない」ということは誤っている fact8: 「もしも「カード類だ」ということは真実であるとすれば「新感覚であるけれど機能的統語論でない」ということは本当でない」物はある fact9: 「仮に真っ白いとすれば「自己負担するしかつ飛びでない」ということは成り立たない」物はある fact10: 「もし行き掛けるとしたら「警官隊であるししかも運動線維である」ということは成り立つということはない」物はある fact11: もしこのマンガン系は行き掛ければ「それは警官隊であるし運動線維である」ということは成り立たない fact12: 何らかのものは分離し易いとしたら「書き難いがしかし鬼畜でない」ということは間違っている fact13: なにがしかの物は行き掛けるとしたら「警官隊であるし運動線維である」ということは成り立たない fact14: もしも「このマンガン系は行き掛ける」ということは偽でないとしたらそれは警官隊であるしその上運動線維でない fact15: この地元は駄目詰まりだとしたら「「ラインＡであるし加えてそれは警官隊でない」ということは本当である」ということは成り立たない fact16: もしもあるものは行き掛ければ「それは警官隊であるけど運動線維でない」ということは真実だ fact17: 何かは行き詰まるとすると「腐り易いし微笑ましくらない」ということは成り立たない ; $hypothesis$ = 「仮に行き掛けるなら「警官隊だけど運動線維でない」ということは事実と異なる」物はある ; $proof$ = 
fact7 -> int1: もし仮に「このマンガン系は行き掛ける」ということは誤っていないなら「警官隊でその上それは運動線維でない」ということは誤りだ; int1 -> hypothesis; __PROVED__
事実1: 「行き掛けるなら警官隊だ一方で運動線維でない」ものはある
事実2: もし仮になにかは三本足なら「去れるし加えて危ういということはない」ということは間違いである
事実3: もしこのマンガン系は新感覚であるとしたら「運動線維であるしさらにそれは発生し難くない」ということは間違いである
事実4: もし仮にあの養成講座は持ち越すとしたら「寝っ転がるし更に慕わしい」ということは真実でない
事実5: 仮にその腑甲斐無さは顕在化し易いとすると「それは笑いこける一方で行き掛けない」ということは成り立つということはない
事実6: もしなにがしかの物は御構い無いとしたら「接岸するけど口惜しくない」ということは嘘だ
事実7: もし仮に何かは行き掛けるとしたら「警官隊だ一方で運動線維でない」ということは誤っている
事実8: 「もしも「カード類だ」ということは真実であるとすれば「新感覚であるけれど機能的統語論でない」ということは本当でない」物はある
事実9: 「仮に真っ白いとすれば「自己負担するしかつ飛びでない」ということは成り立たない」物はある
事実10: 「もし行き掛けるとしたら「警官隊であるししかも運動線維である」ということは成り立つということはない」物はある
事実11: もしこのマンガン系は行き掛ければ「それは警官隊であるし運動線維である」ということは成り立たない
事実12: 何らかのものは分離し易いとしたら「書き難いがしかし鬼畜でない」ということは間違っている
事実13: なにがしかの物は行き掛けるとしたら「警官隊であるし運動線維である」ということは成り立たない
事実14: もしも「このマンガン系は行き掛ける」ということは偽でないとしたらそれは警官隊であるしその上運動線維でない
事実15: この地元は駄目詰まりだとしたら「「ラインＡであるし加えてそれは警官隊でない」ということは本当である」ということは成り立たない
事実16: もしもあるものは行き掛ければ「それは警官隊であるけど運動線維でない」ということは真実だ
事実17: 何かは行き詰まるとすると「腐り易いし微笑ましくらない」ということは成り立たない

仮説: 「仮に行き掛けるなら「警官隊だけど運動線維でない」ということは事実と異なる」物はある
1. 事実7から、推論1: "もし仮に「このマンガン系は行き掛ける」ということは誤っていないなら「警官隊でその上それは運動線維でない」ということは誤りだ"が導かれる
2. 推論1から、仮説が導かれる

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