「「積分するし加えて包括承認な」物はある」ということは偽だ
fact1: 「こっ酷くておまけに察知する」ものはある fact2: その調音は曇り無し fact3: その調音は自発呼吸であるし加えて信心深い fact4: この尾は察知する fact5: なにがしかの物はこっ酷い fact6: 「もしもその調音が察知しないかまたはそれが包括承認ならこの尾は包括承認である」ということは正しい fact7: その調音はこっ酷い fact8: その調音は察知する fact9: この逆フーリエ変換は積分する fact10: その調音は積分するしこっ酷い fact11: その調音はでっかいしまた作付ける fact12: 「察知するしそれに積分する」物はある fact13: その行動反応は包括承認であるしそれは低し fact14: 「自然史である」物はある fact15: ある物は積分するし更にそれはこっ酷い fact16: あるものは包括承認である fact17: その調音は察知するし包括承認である fact18: なんらかの物は積分する fact19: あの変移は決め打ちするし包括承認である fact20: 「こっ酷くて積分する」ものはある fact21: 「砂利敷だし健康リスクである」物はある fact22: その調音はこっ酷いし更に浅し
fact10 -> int1: 「その調音は積分する」ということは事実だ; fact17 -> int2: その調音は包括承認である; int1 & int2 -> int3: その調音は積分するしかつ包括承認だ; int3 -> hypothesis;
この尾は包括承認であるしまた難民キャンプだ
$facts$ = fact1: 「こっ酷くておまけに察知する」ものはある fact2: その調音は曇り無し fact3: その調音は自発呼吸であるし加えて信心深い fact4: この尾は察知する fact5: なにがしかの物はこっ酷い fact6: 「もしもその調音が察知しないかまたはそれが包括承認ならこの尾は包括承認である」ということは正しい fact7: その調音はこっ酷い fact8: その調音は察知する fact9: この逆フーリエ変換は積分する fact10: その調音は積分するしこっ酷い fact11: その調音はでっかいしまた作付ける fact12: 「察知するしそれに積分する」物はある fact13: その行動反応は包括承認であるしそれは低し fact14: 「自然史である」物はある fact15: ある物は積分するし更にそれはこっ酷い fact16: あるものは包括承認である fact17: その調音は察知するし包括承認である fact18: なんらかの物は積分する fact19: あの変移は決め打ちするし包括承認である fact20: 「こっ酷くて積分する」ものはある fact21: 「砂利敷だし健康リスクである」物はある fact22: その調音はこっ酷いし更に浅し ; $hypothesis$ = 「「積分するし加えて包括承認な」物はある」ということは偽だ ; $proof$ = 
fact10 -> int1: 「その調音は積分する」ということは事実だ; fact17 -> int2: その調音は包括承認である; int1 & int2 -> int3: その調音は積分するしかつ包括承認だ; int3 -> hypothesis; __DISPROVED__
事実1: 「こっ酷くておまけに察知する」ものはある
事実2: その調音は曇り無し
事実3: その調音は自発呼吸であるし加えて信心深い
事実4: この尾は察知する
事実5: なにがしかの物はこっ酷い
事実6: 「もしもその調音が察知しないかまたはそれが包括承認ならこの尾は包括承認である」ということは正しい
事実7: その調音はこっ酷い
事実8: その調音は察知する
事実9: この逆フーリエ変換は積分する
事実10: その調音は積分するしこっ酷い
事実11: その調音はでっかいしまた作付ける
事実12: 「察知するしそれに積分する」物はある
事実13: その行動反応は包括承認であるしそれは低し
事実14: 「自然史である」物はある
事実15: ある物は積分するし更にそれはこっ酷い
事実16: あるものは包括承認である
事実17: その調音は察知するし包括承認である
事実18: なんらかの物は積分する
事実19: あの変移は決め打ちするし包括承認である
事実20: 「こっ酷くて積分する」ものはある
事実21: 「砂利敷だし健康リスクである」物はある
事実22: その調音はこっ酷いし更に浅し

仮説: 「「積分するし加えて包括承認な」物はある」ということは偽だ
1. 事実10から、推論1: "「その調音は積分する」ということは事実だ"が導かれる
2. 事実17から、推論2: "その調音は包括承認である"が導かれる
3. 推論1と推論2から、推論3: "その調音は積分するしかつ包括承認だ"が導かれる
4. 推論3から、仮説が否定される

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