もしあの浅草寺は靱公園でないならば「それは引き受けないししかも幼けなくない」ということは成り立たない
fact1: もしもある物は中性子捕獲反応でないならそれは勉強すらないしその上ランドマーク知識であるということはない fact2: もし仮にとあるものは靱公園でないならば「それは引き受けないし更に幼けなくない」ということは嘘である fact3: 仮にあの浅草寺は靱公園だとすると「引き受けないしかつ幼けなくない」ということは事実と異なる fact4: 仮にその脂肪層は切り離し難いならば「それは引き受けないしまたそれは自動思考でない」ということは成り立たない fact5: もしなんらかのものは靱公園であるとすれば「それは引き受けないしまた幼けなくない」ということは事実と異なる fact6: もしもとある物は靱公園でないならば「それは引き受けるし幼けないということはない」ということは成り立たない fact7: なにかは靱公園でないとすれば「「引き受けないしそれは幼けない」ということは事実だ」ということは嘘だ fact8: もし仮にあの浅草寺は靱公園でないとすれば「それは引き受けるけど幼けなくない」ということは成り立たない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしもある物は中性子捕獲反応でないならそれは勉強すらないしその上ランドマーク知識であるということはない fact2: もし仮にとあるものは靱公園でないならば「それは引き受けないし更に幼けなくない」ということは嘘である fact3: 仮にあの浅草寺は靱公園だとすると「引き受けないしかつ幼けなくない」ということは事実と異なる fact4: 仮にその脂肪層は切り離し難いならば「それは引き受けないしまたそれは自動思考でない」ということは成り立たない fact5: もしなんらかのものは靱公園であるとすれば「それは引き受けないしまた幼けなくない」ということは事実と異なる fact6: もしもとある物は靱公園でないならば「それは引き受けるし幼けないということはない」ということは成り立たない fact7: なにかは靱公園でないとすれば「「引き受けないしそれは幼けない」ということは事実だ」ということは嘘だ fact8: もし仮にあの浅草寺は靱公園でないとすれば「それは引き受けるけど幼けなくない」ということは成り立たない ; $hypothesis$ = もしあの浅草寺は靱公園でないならば「それは引き受けないししかも幼けなくない」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもある物は中性子捕獲反応でないならそれは勉強すらないしその上ランドマーク知識であるということはない
事実2: もし仮にとあるものは靱公園でないならば「それは引き受けないし更に幼けなくない」ということは嘘である
事実3: 仮にあの浅草寺は靱公園だとすると「引き受けないしかつ幼けなくない」ということは事実と異なる
事実4: 仮にその脂肪層は切り離し難いならば「それは引き受けないしまたそれは自動思考でない」ということは成り立たない
事実5: もしなんらかのものは靱公園であるとすれば「それは引き受けないしまた幼けなくない」ということは事実と異なる
事実6: もしもとある物は靱公園でないならば「それは引き受けるし幼けないということはない」ということは成り立たない
事実7: なにかは靱公園でないとすれば「「引き受けないしそれは幼けない」ということは事実だ」ということは嘘だ
事実8: もし仮にあの浅草寺は靱公園でないとすれば「それは引き受けるけど幼けなくない」ということは成り立たない

仮説: もしあの浅草寺は靱公園でないならば「それは引き受けないししかも幼けなくない」ということは成り立たない
1. 事実2から、仮説が導かれる

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