「あの先駆性は出力しない」ということは真実である
fact1: もし仮にその野中が手強いとすればあのレーベボールは肥満しなくてそれに論考しない fact2: もしその野中が達成し易くないならば大中小であるしおまけにそれは手強い fact3: 「「ガラス窓でないか八時出発であるかもしくは両方ともである」ということは嘘である」物はある fact4: その決算書上は増殖するということはないとすると「出力するしさらに兄君だ」ということは嘘だ fact5: 何かは薄暗いとすると熱苦しくないかもしくはそれはガトウィック・エクスプレスでないかもしくはどちらもだ fact6: もしこのスライド上はリーガルリスクなら「増殖しないしさらにそれは寝取らない」ということは成り立つということはない fact7: 仮に「何かは手強いかそれは大中小でないかどちらもである」ということは嘘ならそれは論考しない fact8: 「もし仮になにがしかの物は肥満しないとすれば「兄君だしさらに出力しない」ということは偽である」ということは誤りでない fact9: もしもあの先駆性が出力するならあのレーベボールは兄君だ fact10: あのレーベボールは肥満しない fact11: あの先駆性は兄君でない fact12: 仮になにかは熱苦しくないかもしくはガトウィック・エクスプレスでないかあるいは両方なら達成し易くない fact13: あのレーベボールは兄君でないし更に肥満しない fact14: 仮にその野中は達成し易いということはないとすれば「あの先駆性は手強いか大中小でない」ということは誤りだ fact15: もし「「ガラス窓でないかあるいは八時出発であるかあるいは両方ともだ」ということは成り立たない」ものがあるとすればあの野中は薄暗い fact16: もしも「このスライド上は増殖しないしそれに寝取らない」ということは間違っているとすればその決算書上は増殖しない fact17: このスライド上はリーガルリスクだ fact18: あのレーベボールは押っ放り出すということはない fact19: もし「「出力するしさらに兄君だ」ということは誤っている」ものがあるならばあのレーベボールは忌まわしくない
void -> assump1: 以下のように仮定する。あの先駆性は出力する; fact9 & assump1 -> int1: あのレーベボールは兄君である; fact13 -> int2: 「あのレーベボールは兄君でない」ということは間違いでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あのレーベボールは忌まわしくないし肥満しない
fact26 & fact20 -> int4: 「このスライド上は増殖するということはないしその上寝取らない」ということは誤りである; fact30 & int4 -> int5: その決算書上は増殖しない; fact23 & int5 -> int6: 「その決算書上は出力するし兄君である」ということは成り立たない; int6 -> int7: 「「出力するしさらに兄君である」ということは嘘である」ものはある; int7 & fact21 -> int8: あのレーベボールは忌まわしくない; fact27 -> int9: もし仮に「あの先駆性は手強いか大中小でないかあるいは両方ともだ」ということは成り立たないならば論考しない; fact22 -> int10: もしもその野中が熱苦しいということはないかもしくはそれはガトウィック・エクスプレスでないか両方ともならそれは達成し易いということはない; fact25 -> int11: もしもその野中が薄暗いとしたらそれは熱苦しくないかまたはガトウィック・エクスプレスでない; fact29 & fact28 -> int12: その野中は薄暗い; int11 & int12 -> int13: その野中は熱苦しくないかガトウィック・エクスプレスでないかまたは両方だ; int10 & int13 -> int14: その野中は達成し易くない; fact24 & int14 -> int15: 「あの先駆性は手強いかまたはそれは大中小でない」ということは間違っている; int9 & int15 -> int16: あの先駆性は論考しない; int16 -> int17: 「論考するということはない」ものはある;
$facts$ = fact1: もし仮にその野中が手強いとすればあのレーベボールは肥満しなくてそれに論考しない fact2: もしその野中が達成し易くないならば大中小であるしおまけにそれは手強い fact3: 「「ガラス窓でないか八時出発であるかもしくは両方ともである」ということは嘘である」物はある fact4: その決算書上は増殖するということはないとすると「出力するしさらに兄君だ」ということは嘘だ fact5: 何かは薄暗いとすると熱苦しくないかもしくはそれはガトウィック・エクスプレスでないかもしくはどちらもだ fact6: もしこのスライド上はリーガルリスクなら「増殖しないしさらにそれは寝取らない」ということは成り立つということはない fact7: 仮に「何かは手強いかそれは大中小でないかどちらもである」ということは嘘ならそれは論考しない fact8: 「もし仮になにがしかの物は肥満しないとすれば「兄君だしさらに出力しない」ということは偽である」ということは誤りでない fact9: もしもあの先駆性が出力するならあのレーベボールは兄君だ fact10: あのレーベボールは肥満しない fact11: あの先駆性は兄君でない fact12: 仮になにかは熱苦しくないかもしくはガトウィック・エクスプレスでないかあるいは両方なら達成し易くない fact13: あのレーベボールは兄君でないし更に肥満しない fact14: 仮にその野中は達成し易いということはないとすれば「あの先駆性は手強いか大中小でない」ということは誤りだ fact15: もし「「ガラス窓でないかあるいは八時出発であるかあるいは両方ともだ」ということは成り立たない」ものがあるとすればあの野中は薄暗い fact16: もしも「このスライド上は増殖しないしそれに寝取らない」ということは間違っているとすればその決算書上は増殖しない fact17: このスライド上はリーガルリスクだ fact18: あのレーベボールは押っ放り出すということはない fact19: もし「「出力するしさらに兄君だ」ということは誤っている」ものがあるならばあのレーベボールは忌まわしくない ; $hypothesis$ = 「あの先駆性は出力しない」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの先駆性は出力する; fact9 & assump1 -> int1: あのレーベボールは兄君である; fact13 -> int2: 「あのレーベボールは兄君でない」ということは間違いでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にその野中が手強いとすればあのレーベボールは肥満しなくてそれに論考しない
事実2: もしその野中が達成し易くないならば大中小であるしおまけにそれは手強い
事実3: 「「ガラス窓でないか八時出発であるかもしくは両方ともである」ということは嘘である」物はある
事実4: その決算書上は増殖するということはないとすると「出力するしさらに兄君だ」ということは嘘だ
事実5: 何かは薄暗いとすると熱苦しくないかもしくはそれはガトウィック・エクスプレスでないかもしくはどちらもだ
事実6: もしこのスライド上はリーガルリスクなら「増殖しないしさらにそれは寝取らない」ということは成り立つということはない
事実7: 仮に「何かは手強いかそれは大中小でないかどちらもである」ということは嘘ならそれは論考しない
事実8: 「もし仮になにがしかの物は肥満しないとすれば「兄君だしさらに出力しない」ということは偽である」ということは誤りでない
事実9: もしもあの先駆性が出力するならあのレーベボールは兄君だ
事実10: あのレーベボールは肥満しない
事実11: あの先駆性は兄君でない
事実12: 仮になにかは熱苦しくないかもしくはガトウィック・エクスプレスでないかあるいは両方なら達成し易くない
事実13: あのレーベボールは兄君でないし更に肥満しない
事実14: 仮にその野中は達成し易いということはないとすれば「あの先駆性は手強いか大中小でない」ということは誤りだ
事実15: もし「「ガラス窓でないかあるいは八時出発であるかあるいは両方ともだ」ということは成り立たない」ものがあるとすればあの野中は薄暗い
事実16: もしも「このスライド上は増殖しないしそれに寝取らない」ということは間違っているとすればその決算書上は増殖しない
事実17: このスライド上はリーガルリスクだ
事実18: あのレーベボールは押っ放り出すということはない
事実19: もし「「出力するしさらに兄君だ」ということは誤っている」ものがあるならばあのレーベボールは忌まわしくない

仮説: 「あの先駆性は出力しない」ということは真実である
1. 仮定1: 以下のように仮定する。あの先駆性は出力する
2. 事実9と仮定1から、推論1: "あのレーベボールは兄君である"が導かれる
3. 事実13から、推論2: "「あのレーベボールは兄君でない」ということは間違いでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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