あの全校生徒は手配しないかもしくは入り辛いかまたは両方ともだ
fact1: もしこのツ反応は演じ切らないならば「このインセンティブ効果は古伊万里だがしかし増加幅でない」ということは成り立たない fact2: 「「あの全校生徒は参加し易いかまたは古伊万里であるかまたは両方ともである」ということは確かである」ということは成り立つということはないとしたらそれは踊り込まない fact3: あの全校生徒は手配するかもしくは入り辛い fact4: あの全校生徒は手配する fact5: あの全校生徒は年増盛りであるか古伊万里だ fact6: 仮にある物は科学的方法でないならば上り易くないしさらに引き払わない fact7: もしも「あの全校生徒は手配するということはないかもしくはそれは入り辛いかもしくは両方ともだ」ということは成り立たないとしたらそれは古伊万里でない fact8: あの全校生徒は物悲しいかまたは古伊万里であるかあるいはどちらもである fact9: 「とあるものは古伊万里だけれど増加幅でない」ということは誤りであるなら生白くない fact10: あの全校生徒は悔しいかもしくはそれは大喜びするかあるいはどちらもである fact11: あの全校生徒は古伊万里である fact12: あの全校生徒は眠たい fact13: 「あの全校生徒は励まさないかもしくはドリッパーだ」ということは確かでない fact14: もしなんらかのものは狭窄であるとすれば演じ切らない fact15: もしもこのインセンティブ効果は生白くないなら「あの全校生徒は手配しないかあるいはそれは入り辛いか両方ともだ」ということは成り立たない fact16: 「この不逞は中途解約しないかまたは古伊万里であるか両方だ」ということは偽である fact17: もし仮に「あの全校生徒は手配するかもしくはそれは入り辛いかまたは両方である」ということは成り立たないとするとそれは古伊万里だということはない fact18: もしも「その部隊長は登山家らしいが違いということはない」ということは偽であるとすると「それは科学的方法であるということはない」ということは本当だ fact19: 「その楽員は古伊万里であるということはないかあるいは複合するかもしくはどちらもだ」ということは成り立たないとすれば恥ずかしない
void -> assump1: 以下のように仮定する。「あの全校生徒は手配しないかそれは入り辛いかもしくはどちらもだ」ということは成り立つということはない; fact7 & assump1 -> int1: あの全校生徒は古伊万里でない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} v {AB}{a}); fact7 & assump1 -> int1: ¬{B}{a}; int1 & fact11 -> int2: #F#; [assump1] & int2 -> hypothesis;
「あの全校生徒は手配しないかあるいは入り辛いかあるいはどちらもである」ということは間違いである
fact23 -> int3: 「このインセンティブ効果は古伊万里だが増加幅でない」ということは成り立つということはないとしたらそれは生白くない; fact24 -> int4: もし仮にこのツ反応が狭窄だとすれば演じ切らない; fact21 -> int5: もし仮に「その部隊長は科学的方法でない」ということは成り立つなら上り易くないしそれに引き払わない;
$facts$ = fact1: もしこのツ反応は演じ切らないならば「このインセンティブ効果は古伊万里だがしかし増加幅でない」ということは成り立たない fact2: 「「あの全校生徒は参加し易いかまたは古伊万里であるかまたは両方ともである」ということは確かである」ということは成り立つということはないとしたらそれは踊り込まない fact3: あの全校生徒は手配するかもしくは入り辛い fact4: あの全校生徒は手配する fact5: あの全校生徒は年増盛りであるか古伊万里だ fact6: 仮にある物は科学的方法でないならば上り易くないしさらに引き払わない fact7: もしも「あの全校生徒は手配するということはないかもしくはそれは入り辛いかもしくは両方ともだ」ということは成り立たないとしたらそれは古伊万里でない fact8: あの全校生徒は物悲しいかまたは古伊万里であるかあるいはどちらもである fact9: 「とあるものは古伊万里だけれど増加幅でない」ということは誤りであるなら生白くない fact10: あの全校生徒は悔しいかもしくはそれは大喜びするかあるいはどちらもである fact11: あの全校生徒は古伊万里である fact12: あの全校生徒は眠たい fact13: 「あの全校生徒は励まさないかもしくはドリッパーだ」ということは確かでない fact14: もしなんらかのものは狭窄であるとすれば演じ切らない fact15: もしもこのインセンティブ効果は生白くないなら「あの全校生徒は手配しないかあるいはそれは入り辛いか両方ともだ」ということは成り立たない fact16: 「この不逞は中途解約しないかまたは古伊万里であるか両方だ」ということは偽である fact17: もし仮に「あの全校生徒は手配するかもしくはそれは入り辛いかまたは両方である」ということは成り立たないとするとそれは古伊万里だということはない fact18: もしも「その部隊長は登山家らしいが違いということはない」ということは偽であるとすると「それは科学的方法であるということはない」ということは本当だ fact19: 「その楽員は古伊万里であるということはないかあるいは複合するかもしくはどちらもだ」ということは成り立たないとすれば恥ずかしない ; $hypothesis$ = あの全校生徒は手配しないかもしくは入り辛いかまたは両方ともだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの全校生徒は手配しないかそれは入り辛いかもしくはどちらもだ」ということは成り立つということはない; fact7 & assump1 -> int1: あの全校生徒は古伊万里でない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしこのツ反応は演じ切らないならば「このインセンティブ効果は古伊万里だがしかし増加幅でない」ということは成り立たない
事実2: 「「あの全校生徒は参加し易いかまたは古伊万里であるかまたは両方ともである」ということは確かである」ということは成り立つということはないとしたらそれは踊り込まない
事実3: あの全校生徒は手配するかもしくは入り辛い
事実4: あの全校生徒は手配する
事実5: あの全校生徒は年増盛りであるか古伊万里だ
事実6: 仮にある物は科学的方法でないならば上り易くないしさらに引き払わない
事実7: もしも「あの全校生徒は手配するということはないかもしくはそれは入り辛いかもしくは両方ともだ」ということは成り立たないとしたらそれは古伊万里でない
事実8: あの全校生徒は物悲しいかまたは古伊万里であるかあるいはどちらもである
事実9: 「とあるものは古伊万里だけれど増加幅でない」ということは誤りであるなら生白くない
事実10: あの全校生徒は悔しいかもしくはそれは大喜びするかあるいはどちらもである
事実11: あの全校生徒は古伊万里である
事実12: あの全校生徒は眠たい
事実13: 「あの全校生徒は励まさないかもしくはドリッパーだ」ということは確かでない
事実14: もしなんらかのものは狭窄であるとすれば演じ切らない
事実15: もしもこのインセンティブ効果は生白くないなら「あの全校生徒は手配しないかあるいはそれは入り辛いか両方ともだ」ということは成り立たない
事実16: 「この不逞は中途解約しないかまたは古伊万里であるか両方だ」ということは偽である
事実17: もし仮に「あの全校生徒は手配するかもしくはそれは入り辛いかまたは両方である」ということは成り立たないとするとそれは古伊万里だということはない
事実18: もしも「その部隊長は登山家らしいが違いということはない」ということは偽であるとすると「それは科学的方法であるということはない」ということは本当だ
事実19: 「その楽員は古伊万里であるということはないかあるいは複合するかもしくはどちらもだ」ということは成り立たないとすれば恥ずかしない

仮説: あの全校生徒は手配しないかもしくは入り辛いかまたは両方ともだ
1. 仮定1: 以下のように仮定する。「あの全校生徒は手配しないかそれは入り辛いかもしくはどちらもだ」ということは成り立つということはない
2. 事実7と仮定1から、推論1: "あの全校生徒は古伊万里でない"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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