その照度は崩壊クラスでない
fact1: あの都民が崩壊クラスならその語彙項目は多用する fact2: 何かは表現者でないとすれば「それは叫び始めるし更にそれは羨ましい」ということは事実と異なる fact3: 「あの都民が多用する一方で押し付けはましくらない」ということは誤りである fact4: そのひょっとこは手向ける fact5: もし「あの都民が多用するけどそれが押し付けはましくらない」ということは間違っているとしたらその照度は混む fact6: もしもそのひょっとこが手向けるとするとカンタータである一方で流し込まない fact7: もしもとある物が混むとすればそれは崩壊クラスだ fact8: もし「「叫び始めるししかも羨ましい」ということは誤りな」物があるとしたらこの十三世紀初頭は羨ましくない fact9: もし仮に何かは痩せ難くないならそれは混むかもしくはそれは経過時間でない fact10: もし「「美味しいということはないけれど痩せ難い」ということは成り立たない」物があればあの都民は痩せ難くない fact11: 仮にとある物は羨ましくないならば「それは美味しかないしまたそれは痩せ難い」ということは成り立たない fact12: 仮にそのひょっとこはカンタータだけれど流し込まないなら表現者でない
fact5 & fact3 -> int1: その照度は混む; fact7 -> int2: もし仮にその照度は混むなら「崩壊クラスである」ということは間違っていない; int1 & int2 -> hypothesis;
その語彙項目は多用する
$facts$ = fact1: あの都民が崩壊クラスならその語彙項目は多用する fact2: 何かは表現者でないとすれば「それは叫び始めるし更にそれは羨ましい」ということは事実と異なる fact3: 「あの都民が多用する一方で押し付けはましくらない」ということは誤りである fact4: そのひょっとこは手向ける fact5: もし「あの都民が多用するけどそれが押し付けはましくらない」ということは間違っているとしたらその照度は混む fact6: もしもそのひょっとこが手向けるとするとカンタータである一方で流し込まない fact7: もしもとある物が混むとすればそれは崩壊クラスだ fact8: もし「「叫び始めるししかも羨ましい」ということは誤りな」物があるとしたらこの十三世紀初頭は羨ましくない fact9: もし仮に何かは痩せ難くないならそれは混むかもしくはそれは経過時間でない fact10: もし「「美味しいということはないけれど痩せ難い」ということは成り立たない」物があればあの都民は痩せ難くない fact11: 仮にとある物は羨ましくないならば「それは美味しかないしまたそれは痩せ難い」ということは成り立たない fact12: 仮にそのひょっとこはカンタータだけれど流し込まないなら表現者でない ; $hypothesis$ = その照度は崩壊クラスでない ; $proof$ = 
fact5 & fact3 -> int1: その照度は混む; fact7 -> int2: もし仮にその照度は混むなら「崩壊クラスである」ということは間違っていない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの都民が崩壊クラスならその語彙項目は多用する
事実2: 何かは表現者でないとすれば「それは叫び始めるし更にそれは羨ましい」ということは事実と異なる
事実3: 「あの都民が多用する一方で押し付けはましくらない」ということは誤りである
事実4: そのひょっとこは手向ける
事実5: もし「あの都民が多用するけどそれが押し付けはましくらない」ということは間違っているとしたらその照度は混む
事実6: もしもそのひょっとこが手向けるとするとカンタータである一方で流し込まない
事実7: もしもとある物が混むとすればそれは崩壊クラスだ
事実8: もし「「叫び始めるししかも羨ましい」ということは誤りな」物があるとしたらこの十三世紀初頭は羨ましくない
事実9: もし仮に何かは痩せ難くないならそれは混むかもしくはそれは経過時間でない
事実10: もし「「美味しいということはないけれど痩せ難い」ということは成り立たない」物があればあの都民は痩せ難くない
事実11: 仮にとある物は羨ましくないならば「それは美味しかないしまたそれは痩せ難い」ということは成り立たない
事実12: 仮にそのひょっとこはカンタータだけれど流し込まないなら表現者でない

仮説: その照度は崩壊クラスでない
1. 事実5と事実3から、推論1: "その照度は混む"が導かれる
2. 事実7から、推論2: "もし仮にその照度は混むなら「崩壊クラスである」ということは間違っていない"が導かれる
3. 推論1と推論2から、仮説が否定される

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