その刷り込みはなぐり書きする
fact1: その刷り込みは活動し難くない fact2: そのママ達は死別するということはないがしかしそれは一元化する fact3: もしその刷り込みはなぐり書きしないとしたら「活動し難くないしかつそれは一元化する」ということは誤りである fact4: もしあのグラウンズがなぐり書きするしそれにそれが思い浮かべばその刷り込みはなぐり書きしない fact5: その刷り込みは活動し難くない一方で一元化する fact6: もしもその刷り込みはなぐり書きしないとしたら「それは活動し難いししかもそれは一元化する」ということは成り立たない fact7: その刷り込みは図解だ fact8: 「その刷り込みは活動し難くて加えて一元化する」ということは間違いである fact9: 「あの九月末現在は倹しかないけど眠たい」ということは間違いである fact10: なにがしかのものは図解でないとしたらなぐり書きするし更に思い浮かぶ fact11: 「なんらかの物は図解でない一方でなぐり書きする」ということは成り立たないとすると「薬物乱用であるということはない」ということは真実である fact12: もし仮にとあるものは眠たくないとしたら「その刷り込みは図解でないがそれはなぐり書きする」ということは成り立つということはない fact13: 流れ易いかそれは並び替えるという物はない fact14: ある物が並び替えるなら流れ易い fact15: もしあの手札が流れ易い一方で眠たくないならばあのグラウンズは図解でない fact16: もし「「流れ易いかもしくは並び替えるかあるいはどちらもである」ということは成り立たない」物があるとするとあの手札は眠たくない
void -> assump1: 以下のように仮定する。「その刷り込みはなぐり書きしない」ということは確かである; fact3 & assump1 -> int1: 「その刷り込みは活動し難くない一方で一元化する」ということは成り立たない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
その刷り込みはなぐり書きしない
fact17 -> int3: もしあのグラウンズは図解でないならばなぐり書きするししかも思い浮かぶ; fact18 -> int4: 「仮に「あの手札は並び替える」ということは成り立つとするとあの手札は流れ易い」ということは事実だ; fact19 -> int5: 「「倹しかないけど眠たい」ということは成り立たない」ものはある;
$facts$ = fact1: その刷り込みは活動し難くない fact2: そのママ達は死別するということはないがしかしそれは一元化する fact3: もしその刷り込みはなぐり書きしないとしたら「活動し難くないしかつそれは一元化する」ということは誤りである fact4: もしあのグラウンズがなぐり書きするしそれにそれが思い浮かべばその刷り込みはなぐり書きしない fact5: その刷り込みは活動し難くない一方で一元化する fact6: もしもその刷り込みはなぐり書きしないとしたら「それは活動し難いししかもそれは一元化する」ということは成り立たない fact7: その刷り込みは図解だ fact8: 「その刷り込みは活動し難くて加えて一元化する」ということは間違いである fact9: 「あの九月末現在は倹しかないけど眠たい」ということは間違いである fact10: なにがしかのものは図解でないとしたらなぐり書きするし更に思い浮かぶ fact11: 「なんらかの物は図解でない一方でなぐり書きする」ということは成り立たないとすると「薬物乱用であるということはない」ということは真実である fact12: もし仮にとあるものは眠たくないとしたら「その刷り込みは図解でないがそれはなぐり書きする」ということは成り立つということはない fact13: 流れ易いかそれは並び替えるという物はない fact14: ある物が並び替えるなら流れ易い fact15: もしあの手札が流れ易い一方で眠たくないならばあのグラウンズは図解でない fact16: もし「「流れ易いかもしくは並び替えるかあるいはどちらもである」ということは成り立たない」物があるとするとあの手札は眠たくない ; $hypothesis$ = その刷り込みはなぐり書きする ; $proof$ = 
void -> assump1: 以下のように仮定する。「その刷り込みはなぐり書きしない」ということは確かである; fact3 & assump1 -> int1: 「その刷り込みは活動し難くない一方で一元化する」ということは成り立たない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その刷り込みは活動し難くない
事実2: そのママ達は死別するということはないがしかしそれは一元化する
事実3: もしその刷り込みはなぐり書きしないとしたら「活動し難くないしかつそれは一元化する」ということは誤りである
事実4: もしあのグラウンズがなぐり書きするしそれにそれが思い浮かべばその刷り込みはなぐり書きしない
事実5: その刷り込みは活動し難くない一方で一元化する
事実6: もしもその刷り込みはなぐり書きしないとしたら「それは活動し難いししかもそれは一元化する」ということは成り立たない
事実7: その刷り込みは図解だ
事実8: 「その刷り込みは活動し難くて加えて一元化する」ということは間違いである
事実9: 「あの九月末現在は倹しかないけど眠たい」ということは間違いである
事実10: なにがしかのものは図解でないとしたらなぐり書きするし更に思い浮かぶ
事実11: 「なんらかの物は図解でない一方でなぐり書きする」ということは成り立たないとすると「薬物乱用であるということはない」ということは真実である
事実12: もし仮にとあるものは眠たくないとしたら「その刷り込みは図解でないがそれはなぐり書きする」ということは成り立つということはない
事実13: 流れ易いかそれは並び替えるという物はない
事実14: ある物が並び替えるなら流れ易い
事実15: もしあの手札が流れ易い一方で眠たくないならばあのグラウンズは図解でない
事実16: もし「「流れ易いかもしくは並び替えるかあるいはどちらもである」ということは成り立たない」物があるとするとあの手札は眠たくない

仮説: その刷り込みはなぐり書きする
1. 仮定1: 以下のように仮定する。「その刷り込みはなぐり書きしない」ということは確かである
2. 事実3と仮定1から、推論1: "「その刷り込みは活動し難くない一方で一元化する」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。