「「もし狭くないなら「入り辛いかあるいは見過ごせる」ということは成り立つ」ものはある」ということは間違いである
fact1: 「もしも疲労し易いということはないとしたら納得し難いか提出するか両方ともである」物はある fact2: もし「あの出席日数は狭くない」ということは偽でないとするとそれは入り辛いか見過ごせるかもしくは両方だ fact3: あるものが知り合うということはないとすると人間環境であるかまたは表Ａであるかもしくは両方ともだ fact4: 「もしも狭いとすれば入り辛いかあるいは見過ごせる」物はある fact5: もしも何らかの物が確立すということはないならばそれは展開し易いかもしくはそれは艶めかしいかあるいはどちらもだ fact6: 「萎れないとすれば吸い取るかまたは安っぽいかまたは両方である」物はある fact7: あの出席日数は痛苦でないならば切ないかべた付き易いかもしくは両方だ fact8: もし仮にあの先輩・後輩がぺてん師だとしたらそれは煮やすかもしくはそれは興奮し易い
fact2 -> hypothesis;
「もしも確立すらないとすれば展開し易いか艶めかしいかあるいは両方な」ものはある
fact9 -> int1: 仮にあの当該監視化学物質が確立すらないならば展開し易いかもしくは艶めかしいかどちらもである; int1 -> hypothesis;
$facts$ = fact1: 「もしも疲労し易いということはないとしたら納得し難いか提出するか両方ともである」物はある fact2: もし「あの出席日数は狭くない」ということは偽でないとするとそれは入り辛いか見過ごせるかもしくは両方だ fact3: あるものが知り合うということはないとすると人間環境であるかまたは表Ａであるかもしくは両方ともだ fact4: 「もしも狭いとすれば入り辛いかあるいは見過ごせる」物はある fact5: もしも何らかの物が確立すということはないならばそれは展開し易いかもしくはそれは艶めかしいかあるいはどちらもだ fact6: 「萎れないとすれば吸い取るかまたは安っぽいかまたは両方である」物はある fact7: あの出席日数は痛苦でないならば切ないかべた付き易いかもしくは両方だ fact8: もし仮にあの先輩・後輩がぺてん師だとしたらそれは煮やすかもしくはそれは興奮し易い ; $hypothesis$ = 「「もし狭くないなら「入り辛いかあるいは見過ごせる」ということは成り立つ」ものはある」ということは間違いである ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「もしも疲労し易いということはないとしたら納得し難いか提出するか両方ともである」物はある
事実2: もし「あの出席日数は狭くない」ということは偽でないとするとそれは入り辛いか見過ごせるかもしくは両方だ
事実3: あるものが知り合うということはないとすると人間環境であるかまたは表Ａであるかもしくは両方ともだ
事実4: 「もしも狭いとすれば入り辛いかあるいは見過ごせる」物はある
事実5: もしも何らかの物が確立すということはないならばそれは展開し易いかもしくはそれは艶めかしいかあるいはどちらもだ
事実6: 「萎れないとすれば吸い取るかまたは安っぽいかまたは両方である」物はある
事実7: あの出席日数は痛苦でないならば切ないかべた付き易いかもしくは両方だ
事実8: もし仮にあの先輩・後輩がぺてん師だとしたらそれは煮やすかもしくはそれは興奮し易い

仮説: 「「もし狭くないなら「入り辛いかあるいは見過ごせる」ということは成り立つ」ものはある」ということは間違いである
1. 事実2から、仮説が否定される

よって、仮説が否定されました。