あのミクログリアは大和入りする
fact1: もしあの元気は思い出さないとすれば「その底引き網は三十五人でないしその上それは狭しということはない」ということは誤っている fact2: もし「「その底引き網は狭しないしおまけに思い出すということはない」ということは偽だ」ということは事実ならばあの元気は三十五人である fact3: あの元気は思い出さない fact4: 「その底引き網は三十五人でないしおまけに狭しない」ということは成り立たないならあのミクログリアは大和入りする fact5: あの元気は思い出さないならば「その底引き網は三十五人だ一方で狭しない」ということは成り立たない
fact1 & fact3 -> int1: 「その底引き網は三十五人であるということはなくて狭しない」ということは誤っている; int1 & fact4 -> hypothesis;
$facts$ = fact1: もしあの元気は思い出さないとすれば「その底引き網は三十五人でないしその上それは狭しということはない」ということは誤っている fact2: もし「「その底引き網は狭しないしおまけに思い出すということはない」ということは偽だ」ということは事実ならばあの元気は三十五人である fact3: あの元気は思い出さない fact4: 「その底引き網は三十五人でないしおまけに狭しない」ということは成り立たないならあのミクログリアは大和入りする fact5: あの元気は思い出さないならば「その底引き網は三十五人だ一方で狭しない」ということは成り立たない ; $hypothesis$ = あのミクログリアは大和入りする ; $proof$ = 
fact1 & fact3 -> int1: 「その底引き網は三十五人であるということはなくて狭しない」ということは誤っている; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしあの元気は思い出さないとすれば「その底引き網は三十五人でないしその上それは狭しということはない」ということは誤っている
事実2: もし「「その底引き網は狭しないしおまけに思い出すということはない」ということは偽だ」ということは事実ならばあの元気は三十五人である
事実3: あの元気は思い出さない
事実4: 「その底引き網は三十五人でないしおまけに狭しない」ということは成り立たないならあのミクログリアは大和入りする
事実5: あの元気は思い出さないならば「その底引き網は三十五人だ一方で狭しない」ということは成り立たない

仮説: あのミクログリアは大和入りする
1. 事実1と事実3から、推論1: "「その底引き網は三十五人であるということはなくて狭しない」ということは誤っている"が導かれる
2. 推論1と事実4から、仮説が導かれる

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