「「浄化するししかも糾問する」ということは間違っているならオンエアしない」ものはある
fact1: 「もしも「編目だし更に快い」ということは事実と異なるとすれば逆巻かない」物はある fact2: 「仮に糾問しないならばオンエアしない」ものはある fact3: 「もし「「灯し難いし加えてＪＵＮだ」ということは成り立つ」ということは確かでないとすれば黒みがかるということはない」ものはある fact4: 「「もし「仰々しいしその上忌ま忌ましい」ということは間違っているなら「人懐っこい」ということは真実な」物はある」ということは成り立つ fact5: もし仮にあのドア口は浄化するしさらに糾問するとすればオンエアしない fact6: もしも「あるものがＭ＆Ａ後だし値幅だ」ということは間違っていればトリムしない fact7: もしも「あのドア口は浄化するしおまけに糾問する」ということは確かでないならばオンエアしない fact8: 「仮に浄化するし糾問するとするとオンエアするということはない」ものはある fact9: 仮にあのドア口が糾問するということはないならばオンエアしない fact10: 「仮に「快いし開襟シャツだ」ということは成り立たないとしたら手早い」ものはある fact11: 「もし「浄化しない」ということは成り立てばオンエアしない」物はある fact12: 「「忌ま忌ましいししかも禁止等である」ということは誤りであるとしたら「無断侵入しない」ということは成り立つ」物はある fact13: 「「もしも「浄化するしさらに糾問する」ということは真実でないとしたらオンエアする」ものはある」ということは確かである fact14: もしも「あのドア口は糾問するし安んじる」ということは嘘ならば酸いということはない fact15: もし仮にあの社会不安はまどろっこしくらないとするとそれは乗り易いということはない fact16: 「仮に「変分であるしそれに敗走する」ということは成り立たないとすると「感謝しない」ということは成り立つ」物はある fact17: 仮に「あのドア口は浄化するしさらに糾問する」ということは間違いであるならばそれはオンエアする fact18: 「もし仮に市販事務品でないとすると把握し易くない」物はある
fact7 -> hypothesis;
「「Ｍ＆Ａ後であるし値幅だ」ということは偽であるならばトリムしない」物はある
fact19 -> int1: もし仮に「あのリプレイスマフラーはＭ＆Ａ後であるしかつ値幅である」ということは嘘であるとすればそれはトリムしない; int1 -> hypothesis;
$facts$ = fact1: 「もしも「編目だし更に快い」ということは事実と異なるとすれば逆巻かない」物はある fact2: 「仮に糾問しないならばオンエアしない」ものはある fact3: 「もし「「灯し難いし加えてＪＵＮだ」ということは成り立つ」ということは確かでないとすれば黒みがかるということはない」ものはある fact4: 「「もし「仰々しいしその上忌ま忌ましい」ということは間違っているなら「人懐っこい」ということは真実な」物はある」ということは成り立つ fact5: もし仮にあのドア口は浄化するしさらに糾問するとすればオンエアしない fact6: もしも「あるものがＭ＆Ａ後だし値幅だ」ということは間違っていればトリムしない fact7: もしも「あのドア口は浄化するしおまけに糾問する」ということは確かでないならばオンエアしない fact8: 「仮に浄化するし糾問するとするとオンエアするということはない」ものはある fact9: 仮にあのドア口が糾問するということはないならばオンエアしない fact10: 「仮に「快いし開襟シャツだ」ということは成り立たないとしたら手早い」ものはある fact11: 「もし「浄化しない」ということは成り立てばオンエアしない」物はある fact12: 「「忌ま忌ましいししかも禁止等である」ということは誤りであるとしたら「無断侵入しない」ということは成り立つ」物はある fact13: 「「もしも「浄化するしさらに糾問する」ということは真実でないとしたらオンエアする」ものはある」ということは確かである fact14: もしも「あのドア口は糾問するし安んじる」ということは嘘ならば酸いということはない fact15: もし仮にあの社会不安はまどろっこしくらないとするとそれは乗り易いということはない fact16: 「仮に「変分であるしそれに敗走する」ということは成り立たないとすると「感謝しない」ということは成り立つ」物はある fact17: 仮に「あのドア口は浄化するしさらに糾問する」ということは間違いであるならばそれはオンエアする fact18: 「もし仮に市販事務品でないとすると把握し易くない」物はある ; $hypothesis$ = 「「浄化するししかも糾問する」ということは間違っているならオンエアしない」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「もしも「編目だし更に快い」ということは事実と異なるとすれば逆巻かない」物はある
事実2: 「仮に糾問しないならばオンエアしない」ものはある
事実3: 「もし「「灯し難いし加えてＪＵＮだ」ということは成り立つ」ということは確かでないとすれば黒みがかるということはない」ものはある
事実4: 「「もし「仰々しいしその上忌ま忌ましい」ということは間違っているなら「人懐っこい」ということは真実な」物はある」ということは成り立つ
事実5: もし仮にあのドア口は浄化するしさらに糾問するとすればオンエアしない
事実6: もしも「あるものがＭ＆Ａ後だし値幅だ」ということは間違っていればトリムしない
事実7: もしも「あのドア口は浄化するしおまけに糾問する」ということは確かでないならばオンエアしない
事実8: 「仮に浄化するし糾問するとするとオンエアするということはない」ものはある
事実9: 仮にあのドア口が糾問するということはないならばオンエアしない
事実10: 「仮に「快いし開襟シャツだ」ということは成り立たないとしたら手早い」ものはある
事実11: 「もし「浄化しない」ということは成り立てばオンエアしない」物はある
事実12: 「「忌ま忌ましいししかも禁止等である」ということは誤りであるとしたら「無断侵入しない」ということは成り立つ」物はある
事実13: 「「もしも「浄化するしさらに糾問する」ということは真実でないとしたらオンエアする」ものはある」ということは確かである
事実14: もしも「あのドア口は糾問するし安んじる」ということは嘘ならば酸いということはない
事実15: もし仮にあの社会不安はまどろっこしくらないとするとそれは乗り易いということはない
事実16: 「仮に「変分であるしそれに敗走する」ということは成り立たないとすると「感謝しない」ということは成り立つ」物はある
事実17: 仮に「あのドア口は浄化するしさらに糾問する」ということは間違いであるならばそれはオンエアする
事実18: 「もし仮に市販事務品でないとすると把握し易くない」物はある

仮説: 「「浄化するししかも糾問する」ということは間違っているならオンエアしない」ものはある
1. 事実7から、仮説が導かれる

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