「その北校舎はちっこい」ということは偽である
fact1: 仮にあるものが鬱陶しいなら心弱い fact2: その北校舎は渋いしかつそれは彩る fact3: その北校舎がこそばゆいならこの優諚はちっこい fact4: もしこの優諚は締めっぽくないとすれば「それは走り書きするしさらにそれはＵＳＥ文だ」ということは誤っている fact5: この優諚は鬱陶しいしおまけにこそばゆい fact6: こそばゆいものはＵＳＥ文だ fact7: もしもこの優諚がＵＳＥ文だとするとその北校舎はちっこい fact8: その北校舎はＵＳＥ文だ fact9: この優諚は鬱陶しい fact10: もし仮にあるものはＵＳＥ文でないとしたら「鬱陶しかないけどこそばゆい」ということは事実でない fact11: ＵＳＥ文は鬱陶しい fact12: 仮に何らかの物がこそばゆいとすればちっこい fact13: この優諚は散り始める fact14: この優諚は考え難い fact15: 「あるものは走り書きするし更にＵＳＥ文だ」ということは誤りであるならそれはＵＳＥ文でない
fact5 -> int1: この優諚はこそばゆい; fact6 -> int2: 仮に「この優諚はこそばゆい」ということは本当だとすれば「それはＵＳＥ文である」ということは正しい; int1 & int2 -> int3: この優諚はＵＳＥ文である; int3 & fact7 -> hypothesis;
その北校舎はちっこいということはない
fact16 -> int4: もしこの優諚はＵＳＥ文でないとすると「それは鬱陶しかないがこそばゆい」ということは成り立たない; fact17 -> int5: 仮に「この優諚は走り書きするしかつそれはＵＳＥ文である」ということは事実と異なるとするとそれはＵＳＥ文でない;
$facts$ = fact1: 仮にあるものが鬱陶しいなら心弱い fact2: その北校舎は渋いしかつそれは彩る fact3: その北校舎がこそばゆいならこの優諚はちっこい fact4: もしこの優諚は締めっぽくないとすれば「それは走り書きするしさらにそれはＵＳＥ文だ」ということは誤っている fact5: この優諚は鬱陶しいしおまけにこそばゆい fact6: こそばゆいものはＵＳＥ文だ fact7: もしもこの優諚がＵＳＥ文だとするとその北校舎はちっこい fact8: その北校舎はＵＳＥ文だ fact9: この優諚は鬱陶しい fact10: もし仮にあるものはＵＳＥ文でないとしたら「鬱陶しかないけどこそばゆい」ということは事実でない fact11: ＵＳＥ文は鬱陶しい fact12: 仮に何らかの物がこそばゆいとすればちっこい fact13: この優諚は散り始める fact14: この優諚は考え難い fact15: 「あるものは走り書きするし更にＵＳＥ文だ」ということは誤りであるならそれはＵＳＥ文でない ; $hypothesis$ = 「その北校舎はちっこい」ということは偽である ; $proof$ = 
fact5 -> int1: この優諚はこそばゆい; fact6 -> int2: 仮に「この優諚はこそばゆい」ということは本当だとすれば「それはＵＳＥ文である」ということは正しい; int1 & int2 -> int3: この優諚はＵＳＥ文である; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮にあるものが鬱陶しいなら心弱い
事実2: その北校舎は渋いしかつそれは彩る
事実3: その北校舎がこそばゆいならこの優諚はちっこい
事実4: もしこの優諚は締めっぽくないとすれば「それは走り書きするしさらにそれはＵＳＥ文だ」ということは誤っている
事実5: この優諚は鬱陶しいしおまけにこそばゆい
事実6: こそばゆいものはＵＳＥ文だ
事実7: もしもこの優諚がＵＳＥ文だとするとその北校舎はちっこい
事実8: その北校舎はＵＳＥ文だ
事実9: この優諚は鬱陶しい
事実10: もし仮にあるものはＵＳＥ文でないとしたら「鬱陶しかないけどこそばゆい」ということは事実でない
事実11: ＵＳＥ文は鬱陶しい
事実12: 仮に何らかの物がこそばゆいとすればちっこい
事実13: この優諚は散り始める
事実14: この優諚は考え難い
事実15: 「あるものは走り書きするし更にＵＳＥ文だ」ということは誤りであるならそれはＵＳＥ文でない

仮説: 「その北校舎はちっこい」ということは偽である
1. 事実5から、推論1: "この優諚はこそばゆい"が導かれる
2. 事実6から、推論2: "仮に「この優諚はこそばゆい」ということは本当だとすれば「それはＵＳＥ文である」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "この優諚はＵＳＥ文である"が導かれる
4. 推論3と事実7から、仮説が否定される

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