その身体障害児は狼狽えるということはない
fact1: 「その片一方は空想しない」ということは真実だ fact2: その身体障害児は誇りっぽくない fact3: もし仮に何らかの物がソクラテス型でないかもしくは変わり易くないとするとそれは分かり難くない fact4: もしある物が空想しなくてかつ誇りっぽくないとしたらそれは狼狽える fact5: 「仮になにがしかのものは分かり難いということはないとすれば「それは空想するし誇りっぽくない」ということは偽である」ということは確かである fact6: 「その身体障害児は空想しない」ということは真実だ
fact6 & fact2 -> int1: その身体障害児は空想しなくてその上誇りっぽくない; fact4 -> int2: もしその身体障害児が空想するということはなくて誇りっぽくないなら狼狽える; int1 & int2 -> hypothesis;
その身体障害児は狼狽えるということはない
fact7 -> int3: あの世界全域は分かり難くないとしたら「それは空想する一方で誇りっぽくない」ということは誤りだ; fact8 -> int4: 仮にあの世界全域がソクラテス型でないかまたはそれが変わり易くないとしたらそれは分かり難くない;
$facts$ = fact1: 「その片一方は空想しない」ということは真実だ fact2: その身体障害児は誇りっぽくない fact3: もし仮に何らかの物がソクラテス型でないかもしくは変わり易くないとするとそれは分かり難くない fact4: もしある物が空想しなくてかつ誇りっぽくないとしたらそれは狼狽える fact5: 「仮になにがしかのものは分かり難いということはないとすれば「それは空想するし誇りっぽくない」ということは偽である」ということは確かである fact6: 「その身体障害児は空想しない」ということは真実だ ; $hypothesis$ = その身体障害児は狼狽えるということはない ; $proof$ = 
fact6 & fact2 -> int1: その身体障害児は空想しなくてその上誇りっぽくない; fact4 -> int2: もしその身体障害児が空想するということはなくて誇りっぽくないなら狼狽える; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その片一方は空想しない」ということは真実だ
事実2: その身体障害児は誇りっぽくない
事実3: もし仮に何らかの物がソクラテス型でないかもしくは変わり易くないとするとそれは分かり難くない
事実4: もしある物が空想しなくてかつ誇りっぽくないとしたらそれは狼狽える
事実5: 「仮になにがしかのものは分かり難いということはないとすれば「それは空想するし誇りっぽくない」ということは偽である」ということは確かである
事実6: 「その身体障害児は空想しない」ということは真実だ

仮説: その身体障害児は狼狽えるということはない
1. 事実6と事実2から、推論1: "その身体障害児は空想しなくてその上誇りっぽくない"が導かれる
2. 事実4から、推論2: "もしその身体障害児が空想するということはなくて誇りっぽくないなら狼狽える"が導かれる
3. 推論1と推論2から、仮説が否定される

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