その医学生は心細くない
fact1: 「この電磁的措置は十二時半であるかまたはひもじいということはない」ということは成り立たない fact2: 「あのトップモデルは駅前通りだしその上十二時半だ」ということは誤りだ fact3: なにがしかのものは駅前通りであるということはないなら「運動イメージ想起であるししかも予備役である」ということは成り立たない fact4: 運動イメージ想起は駅前通りだ fact5: もしこの乳糖は運動イメージ想起だということはないとしたら「あのトップモデルは予備役であるけどそれは運動イメージ想起でない」ということは成り立たない fact6: もしあのトップモデルが駅前通りであるとするとその医学生は横行する fact7: もしあのトップモデルは心細くないなら「その医学生は運動イメージ想起であるし心細い」ということは嘘である fact8: その医学生は十二時半である fact9: 仮に「なにがしかの物は予備役である一方で運動イメージ想起だということはない」ということは間違っているとすると「駅前通りだ」ということは本当だ fact10: 「この電磁的措置は十二時半であるかあるいはひもじい」ということは成り立たないならばこの乳糖は運動イメージ想起でない fact11: もしも「何らかの物はひもじいけど十二時半でない」ということは事実と異なればそれは駅前通りだ fact12: この電磁的措置はひもじい fact13: 仮に「あのトップモデルは予備役であるけどそれはひもじくない」ということは間違っているとすると心細い fact14: 「この電磁的措置は予備役であるかひもじくないかまたは両方ともである」ということは嘘だ fact15: 仮になんらかのものが横行すればそれは心細い fact16: もしも「この電磁的措置は十二時半であるかひもじくない」ということは嘘であるとしたらこの乳糖は運動イメージ想起でない fact17: この電磁的措置は横行しないとすれば「駅前通りであるし測り得る」ということは嘘である fact18: 「その環先輩は十二時半であるかあるいは平成十五年度でないか両方だ」ということは成り立たない
fact16 & fact1 -> int1: この乳糖は運動イメージ想起でない; int1 & fact5 -> int2: 「あのトップモデルは予備役だがしかし運動イメージ想起でない」ということは成り立たない; fact9 -> int3: もしも「あのトップモデルは予備役だけれど運動イメージ想起でない」ということは誤りなら「駅前通りだ」ということは成り立つ; int2 & int3 -> int4: あのトップモデルは駅前通りだ; int4 & fact6 -> int5: その医学生は横行する; fact15 -> int6: もしもその医学生は横行すれば「心細い」ということは成り立つ; int5 & int6 -> hypothesis;
その医学生は心細くない
fact20 -> int7: 「もしもその医学生は駅前通りでないなら「その医学生は運動イメージ想起であるし加えて予備役である」ということは間違いだ」ということは確かだ;
$facts$ = fact1: 「この電磁的措置は十二時半であるかまたはひもじいということはない」ということは成り立たない fact2: 「あのトップモデルは駅前通りだしその上十二時半だ」ということは誤りだ fact3: なにがしかのものは駅前通りであるということはないなら「運動イメージ想起であるししかも予備役である」ということは成り立たない fact4: 運動イメージ想起は駅前通りだ fact5: もしこの乳糖は運動イメージ想起だということはないとしたら「あのトップモデルは予備役であるけどそれは運動イメージ想起でない」ということは成り立たない fact6: もしあのトップモデルが駅前通りであるとするとその医学生は横行する fact7: もしあのトップモデルは心細くないなら「その医学生は運動イメージ想起であるし心細い」ということは嘘である fact8: その医学生は十二時半である fact9: 仮に「なにがしかの物は予備役である一方で運動イメージ想起だということはない」ということは間違っているとすると「駅前通りだ」ということは本当だ fact10: 「この電磁的措置は十二時半であるかあるいはひもじい」ということは成り立たないならばこの乳糖は運動イメージ想起でない fact11: もしも「何らかの物はひもじいけど十二時半でない」ということは事実と異なればそれは駅前通りだ fact12: この電磁的措置はひもじい fact13: 仮に「あのトップモデルは予備役であるけどそれはひもじくない」ということは間違っているとすると心細い fact14: 「この電磁的措置は予備役であるかひもじくないかまたは両方ともである」ということは嘘だ fact15: 仮になんらかのものが横行すればそれは心細い fact16: もしも「この電磁的措置は十二時半であるかひもじくない」ということは嘘であるとしたらこの乳糖は運動イメージ想起でない fact17: この電磁的措置は横行しないとすれば「駅前通りであるし測り得る」ということは嘘である fact18: 「その環先輩は十二時半であるかあるいは平成十五年度でないか両方だ」ということは成り立たない ; $hypothesis$ = その医学生は心細くない ; $proof$ = 
fact16 & fact1 -> int1: この乳糖は運動イメージ想起でない; int1 & fact5 -> int2: 「あのトップモデルは予備役だがしかし運動イメージ想起でない」ということは成り立たない; fact9 -> int3: もしも「あのトップモデルは予備役だけれど運動イメージ想起でない」ということは誤りなら「駅前通りだ」ということは成り立つ; int2 & int3 -> int4: あのトップモデルは駅前通りだ; int4 & fact6 -> int5: その医学生は横行する; fact15 -> int6: もしもその医学生は横行すれば「心細い」ということは成り立つ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 「この電磁的措置は十二時半であるかまたはひもじいということはない」ということは成り立たない
事実2: 「あのトップモデルは駅前通りだしその上十二時半だ」ということは誤りだ
事実3: なにがしかのものは駅前通りであるということはないなら「運動イメージ想起であるししかも予備役である」ということは成り立たない
事実4: 運動イメージ想起は駅前通りだ
事実5: もしこの乳糖は運動イメージ想起だということはないとしたら「あのトップモデルは予備役であるけどそれは運動イメージ想起でない」ということは成り立たない
事実6: もしあのトップモデルが駅前通りであるとするとその医学生は横行する
事実7: もしあのトップモデルは心細くないなら「その医学生は運動イメージ想起であるし心細い」ということは嘘である
事実8: その医学生は十二時半である
事実9: 仮に「なにがしかの物は予備役である一方で運動イメージ想起だということはない」ということは間違っているとすると「駅前通りだ」ということは本当だ
事実10: 「この電磁的措置は十二時半であるかあるいはひもじい」ということは成り立たないならばこの乳糖は運動イメージ想起でない
事実11: もしも「何らかの物はひもじいけど十二時半でない」ということは事実と異なればそれは駅前通りだ
事実12: この電磁的措置はひもじい
事実13: 仮に「あのトップモデルは予備役であるけどそれはひもじくない」ということは間違っているとすると心細い
事実14: 「この電磁的措置は予備役であるかひもじくないかまたは両方ともである」ということは嘘だ
事実15: 仮になんらかのものが横行すればそれは心細い
事実16: もしも「この電磁的措置は十二時半であるかひもじくない」ということは嘘であるとしたらこの乳糖は運動イメージ想起でない
事実17: この電磁的措置は横行しないとすれば「駅前通りであるし測り得る」ということは嘘である
事実18: 「その環先輩は十二時半であるかあるいは平成十五年度でないか両方だ」ということは成り立たない

仮説: その医学生は心細くない
1. 事実16と事実1から、推論1: "この乳糖は運動イメージ想起でない"が導かれる
2. 推論1と事実5から、推論2: "「あのトップモデルは予備役だがしかし運動イメージ想起でない」ということは成り立たない"が導かれる
3. 事実9から、推論3: "もしも「あのトップモデルは予備役だけれど運動イメージ想起でない」ということは誤りなら「駅前通りだ」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "あのトップモデルは駅前通りだ"が導かれる
5. 推論4と事実6から、推論5: "その医学生は横行する"が導かれる
6. 事実15から、推論6: "もしもその医学生は横行すれば「心細い」ということは成り立つ"が導かれる
7. 推論5と推論6から、仮説が否定される

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