あの心由来は深めない
fact1: もしもあの応援者が告訴権であるがしかし明らまないならそれは力強い fact2: あの応援者は告訴権であるということはないし明らむということはないとしたらそれは力強い fact3: 「あの心由来は多過ぎるしそれは遠い」ということは偽だ fact4: 仮に「何らかの物は多過ぎるけれど遠くない」ということは真実であるということはないとすれば深める fact5: もし仮にあの応援者は力強いとすると「「あの心由来は多過ぎるがしかし遠いということはない」ということは嘘である」ということは真実である fact6: あの応援者は力強いならば「あの心由来は多過ぎるし更に遠い」ということは間違っている fact7: もし仮にあの応援者が遠いなら明らむ fact8: あの応援者は告訴権でなくて明らまない
fact2 & fact8 -> int1: あの応援者は力強い; int1 & fact5 -> int2: 「あの心由来は多過ぎるけれど遠いということはない」ということは偽だ; fact4 -> int3: 「あの心由来は多過ぎるが遠くない」ということは事実でないなら深める; int2 & int3 -> hypothesis;
$facts$ = fact1: もしもあの応援者が告訴権であるがしかし明らまないならそれは力強い fact2: あの応援者は告訴権であるということはないし明らむということはないとしたらそれは力強い fact3: 「あの心由来は多過ぎるしそれは遠い」ということは偽だ fact4: 仮に「何らかの物は多過ぎるけれど遠くない」ということは真実であるということはないとすれば深める fact5: もし仮にあの応援者は力強いとすると「「あの心由来は多過ぎるがしかし遠いということはない」ということは嘘である」ということは真実である fact6: あの応援者は力強いならば「あの心由来は多過ぎるし更に遠い」ということは間違っている fact7: もし仮にあの応援者が遠いなら明らむ fact8: あの応援者は告訴権でなくて明らまない ; $hypothesis$ = あの心由来は深めない ; $proof$ = 
fact2 & fact8 -> int1: あの応援者は力強い; int1 & fact5 -> int2: 「あの心由来は多過ぎるけれど遠いということはない」ということは偽だ; fact4 -> int3: 「あの心由来は多過ぎるが遠くない」ということは事実でないなら深める; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしもあの応援者が告訴権であるがしかし明らまないならそれは力強い
事実2: あの応援者は告訴権であるということはないし明らむということはないとしたらそれは力強い
事実3: 「あの心由来は多過ぎるしそれは遠い」ということは偽だ
事実4: 仮に「何らかの物は多過ぎるけれど遠くない」ということは真実であるということはないとすれば深める
事実5: もし仮にあの応援者は力強いとすると「「あの心由来は多過ぎるがしかし遠いということはない」ということは嘘である」ということは真実である
事実6: あの応援者は力強いならば「あの心由来は多過ぎるし更に遠い」ということは間違っている
事実7: もし仮にあの応援者が遠いなら明らむ
事実8: あの応援者は告訴権でなくて明らまない

仮説: あの心由来は深めない
1. 事実2と事実8から、推論1: "あの応援者は力強い"が導かれる
2. 推論1と事実5から、推論2: "「あの心由来は多過ぎるけれど遠いということはない」ということは偽だ"が導かれる
3. 事実4から、推論3: "「あの心由来は多過ぎるが遠くない」ということは事実でないなら深める"が導かれる
4. 推論2と推論3から、仮説が否定される

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