「「寝ない」物はある」ということは成り立たない
fact1: その内的世界は教習所だけど自発分極するということはない fact2: あの世界基準は喜び有る一方で気高くない fact3: 「寝る」物はある fact4: 「あの二クラスは入れ墨する」ということは本当だとしたら「あの点滴ルートは入れ墨しない」ということは成り立つ fact5: その内的世界は一突きする一方で寝ない fact6: もしも何かは一説でないなら一突きしなくてしかも寝ない fact7: その内的世界は一突きする fact8: 仮に期待し難いものは手拳であるということはないならば一説でない fact9: もし「なにがしかのものは持ち易いしがっかりする」ということは誤りであるとすればがっかりしない fact10: 「若しない」物はある fact11: 「がっかりしない」ものはある fact12: 仮にあるものががっかりしないとすればそれは入れ墨するかもしくは部外であるか両方である fact13: 「とある物は監視し易いがしかし若しない」ということは嘘だとすれば加熱殺菌する fact14: 仮にとある物が加熱殺菌するとしたら期待し難いしまた手拳でない fact15: 「澄ますということはない」ものはある fact16: なにかは一突きするということはなくて寝ないとするとその内的世界は所得保障でない fact17: もしその内的世界が一突きするしそれは破れ難いとしたら「あの乳房組織は破れ難くない」ということは正しい fact18: とある物はがっかりしないならば「あの二クラスは持ち易くてまたがっかりする」ということは間違いだ fact19: 仮に「なんらかのものは一説である」ということは正しいとしたらそれは一突きする fact20: もし仮に「あの点滴ルートは入れ墨しない」ということは本当であるとすれば「監視し易いしそれは若しない」ということは間違いだ
fact5 -> int1: その内的世界は寝ない; int1 -> hypothesis;
fact5 -> int1: ¬{B}{a}; int1 -> hypothesis;
あの乳房組織は破れ難くない
fact21 -> int2: もし仮にその内的世界は一説だとすると「一突きする」ということは本当である;
$facts$ = fact1: その内的世界は教習所だけど自発分極するということはない fact2: あの世界基準は喜び有る一方で気高くない fact3: 「寝る」物はある fact4: 「あの二クラスは入れ墨する」ということは本当だとしたら「あの点滴ルートは入れ墨しない」ということは成り立つ fact5: その内的世界は一突きする一方で寝ない fact6: もしも何かは一説でないなら一突きしなくてしかも寝ない fact7: その内的世界は一突きする fact8: 仮に期待し難いものは手拳であるということはないならば一説でない fact9: もし「なにがしかのものは持ち易いしがっかりする」ということは誤りであるとすればがっかりしない fact10: 「若しない」物はある fact11: 「がっかりしない」ものはある fact12: 仮にあるものががっかりしないとすればそれは入れ墨するかもしくは部外であるか両方である fact13: 「とある物は監視し易いがしかし若しない」ということは嘘だとすれば加熱殺菌する fact14: 仮にとある物が加熱殺菌するとしたら期待し難いしまた手拳でない fact15: 「澄ますということはない」ものはある fact16: なにかは一突きするということはなくて寝ないとするとその内的世界は所得保障でない fact17: もしその内的世界が一突きするしそれは破れ難いとしたら「あの乳房組織は破れ難くない」ということは正しい fact18: とある物はがっかりしないならば「あの二クラスは持ち易くてまたがっかりする」ということは間違いだ fact19: 仮に「なんらかのものは一説である」ということは正しいとしたらそれは一突きする fact20: もし仮に「あの点滴ルートは入れ墨しない」ということは本当であるとすれば「監視し易いしそれは若しない」ということは間違いだ ; $hypothesis$ = 「「寝ない」物はある」ということは成り立たない ; $proof$ = 
fact5 -> int1: その内的世界は寝ない; int1 -> hypothesis; __DISPROVED__
事実1: その内的世界は教習所だけど自発分極するということはない
事実2: あの世界基準は喜び有る一方で気高くない
事実3: 「寝る」物はある
事実4: 「あの二クラスは入れ墨する」ということは本当だとしたら「あの点滴ルートは入れ墨しない」ということは成り立つ
事実5: その内的世界は一突きする一方で寝ない
事実6: もしも何かは一説でないなら一突きしなくてしかも寝ない
事実7: その内的世界は一突きする
事実8: 仮に期待し難いものは手拳であるということはないならば一説でない
事実9: もし「なにがしかのものは持ち易いしがっかりする」ということは誤りであるとすればがっかりしない
事実10: 「若しない」物はある
事実11: 「がっかりしない」ものはある
事実12: 仮にあるものががっかりしないとすればそれは入れ墨するかもしくは部外であるか両方である
事実13: 「とある物は監視し易いがしかし若しない」ということは嘘だとすれば加熱殺菌する
事実14: 仮にとある物が加熱殺菌するとしたら期待し難いしまた手拳でない
事実15: 「澄ますということはない」ものはある
事実16: なにかは一突きするということはなくて寝ないとするとその内的世界は所得保障でない
事実17: もしその内的世界が一突きするしそれは破れ難いとしたら「あの乳房組織は破れ難くない」ということは正しい
事実18: とある物はがっかりしないならば「あの二クラスは持ち易くてまたがっかりする」ということは間違いだ
事実19: 仮に「なんらかのものは一説である」ということは正しいとしたらそれは一突きする
事実20: もし仮に「あの点滴ルートは入れ墨しない」ということは本当であるとすれば「監視し易いしそれは若しない」ということは間違いだ

仮説: 「「寝ない」物はある」ということは成り立たない
1. 事実5から、推論1: "その内的世界は寝ない"が導かれる
2. 推論1から、仮説が否定される

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