「「その左翼陣営は成され易いけれど大迫力でない」ということは確かだ」ということは誤っている
fact1: その左翼陣営は度し難いが神経症状だということはない fact2: もし仮に「「「あのクローズアップは御心配為さるしまた安い」ということは成り立つ」ということは事実でない」ということは事実であるとすれば「安くない」ということは嘘であるということはない fact3: 「そのＹＡは成され易くないか揺らぎでない」ということは間違いならあのクローズアップは成され易くない fact4: 成され易くないものは坐すかあるいは大迫力である fact5: もしもあのクローズアップが坐すけれど取り易くないならばあの三ピン端子は安い fact6: 仮にとあるものは坐すかまたは大迫力であるかまたは両方ともなら「あの三ピン端子は坐す」ということは本当である fact7: 「あのクローズアップは御心配為さるしその上坐す」ということは成り立たない fact8: そのＹＡは成され易い fact9: そのＹＡは汚れ易い fact10: もしもある物は安いとしたら「それは廃絶するけれど嗽液でない」ということは嘘だ fact11: そのＹＡは坐すとすると「その左翼陣営は成され易いけれど大迫力でない」ということは事実と異なる fact12: もし仮にそのＹＡが跳ね飛ばさないとすればそれは御心配為さる fact13: もしあの三ピン端子が取り易いがそれはせこくないならば「あのクローズアップは度し難い」ということは事実である fact14: そのＹＡはＱＲＳ波であるとすればそれは坐す fact15: 度し難い物は安い fact16: 仮にあるものが坐すとするとそれはＱＲＳ波であるけれど度し難くない fact17: もしも「「「取り易い一方でせこくない」ということは間違いでない」ということは間違っている」物があるとしたらそのＹＡはＱＲＳ波である fact18: もし仮にその左翼陣営は御心配為さるとすれば「成され易い」ということは確かだ fact19: もし仮に「ある物が度し難いしその上それは安い」ということは成り立たないとするとそれは安くない fact20: そのＹＡは跳ね飛ばすということはない fact21: 「あのクローズアップは御心配為さるしまたそれは安い」ということは誤っている fact22: もしそのＹＡは御心配為さるとすれば「それは成され易くないかあるいは揺らぎでないかあるいはどちらもである」ということは誤りだ
void -> assump1: 以下のように仮定する。あの三ピン端子は取り易い一方でせこくない; fact13 & assump1 -> int1: あのクローズアップは度し難い; fact15 -> int2: もしもあのクローズアップが度し難いとしたら安い; int1 & int2 -> int3: あのクローズアップは安い; fact2 & fact21 -> int4: あのクローズアップは安くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「「あの三ピン端子は取り易いけれどせこくない」ということは間違っている」ということは確かだ; int6 -> int7: 「「取り易いしそれにせこくない」ということは成り立たない」物はある; int7 & fact17 -> int8: そのＹＡはＱＲＳ波である; int8 & fact14 -> int9: そのＹＡは坐す; int9 & fact11 -> hypothesis;
「この社会党左派は廃絶するがしかし嗽液でない」ということは事実でない
fact29 -> int10: この社会党左派は安いとすれば「それは廃絶するけど嗽液でない」ということは間違いだ; fact23 -> int11: あの三ピン端子が坐すとしたらＱＲＳ波だし加えてそれは度し難くない; fact28 -> int12: 「仮にあのクローズアップが成され易くないとするとあのクローズアップは坐すか大迫力である」ということは真実である; fact25 & fact27 -> int13: そのＹＡは御心配為さる; fact24 & int13 -> int14: 「そのＹＡは成され易いということはないかもしくは揺らぎでない」ということは誤りである; fact26 & int14 -> int15: あのクローズアップは成され易くない; int12 & int15 -> int16: あのクローズアップは坐すか大迫力であるかあるいは両方ともである; int16 -> int17: 何かは坐すかあるいは大迫力である; int17 & fact30 -> int18: あの三ピン端子は坐す; int11 & int18 -> int19: あの三ピン端子がＱＲＳ波だけど度し難くない; int19 -> int20: 「ＱＲＳ波であるけれど度し難くない」ものはある;
$facts$ = fact1: その左翼陣営は度し難いが神経症状だということはない fact2: もし仮に「「「あのクローズアップは御心配為さるしまた安い」ということは成り立つ」ということは事実でない」ということは事実であるとすれば「安くない」ということは嘘であるということはない fact3: 「そのＹＡは成され易くないか揺らぎでない」ということは間違いならあのクローズアップは成され易くない fact4: 成され易くないものは坐すかあるいは大迫力である fact5: もしもあのクローズアップが坐すけれど取り易くないならばあの三ピン端子は安い fact6: 仮にとあるものは坐すかまたは大迫力であるかまたは両方ともなら「あの三ピン端子は坐す」ということは本当である fact7: 「あのクローズアップは御心配為さるしその上坐す」ということは成り立たない fact8: そのＹＡは成され易い fact9: そのＹＡは汚れ易い fact10: もしもある物は安いとしたら「それは廃絶するけれど嗽液でない」ということは嘘だ fact11: そのＹＡは坐すとすると「その左翼陣営は成され易いけれど大迫力でない」ということは事実と異なる fact12: もし仮にそのＹＡが跳ね飛ばさないとすればそれは御心配為さる fact13: もしあの三ピン端子が取り易いがそれはせこくないならば「あのクローズアップは度し難い」ということは事実である fact14: そのＹＡはＱＲＳ波であるとすればそれは坐す fact15: 度し難い物は安い fact16: 仮にあるものが坐すとするとそれはＱＲＳ波であるけれど度し難くない fact17: もしも「「「取り易い一方でせこくない」ということは間違いでない」ということは間違っている」物があるとしたらそのＹＡはＱＲＳ波である fact18: もし仮にその左翼陣営は御心配為さるとすれば「成され易い」ということは確かだ fact19: もし仮に「ある物が度し難いしその上それは安い」ということは成り立たないとするとそれは安くない fact20: そのＹＡは跳ね飛ばすということはない fact21: 「あのクローズアップは御心配為さるしまたそれは安い」ということは誤っている fact22: もしそのＹＡは御心配為さるとすれば「それは成され易くないかあるいは揺らぎでないかあるいはどちらもである」ということは誤りだ ; $hypothesis$ = 「「その左翼陣営は成され易いけれど大迫力でない」ということは確かだ」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの三ピン端子は取り易い一方でせこくない; fact13 & assump1 -> int1: あのクローズアップは度し難い; fact15 -> int2: もしもあのクローズアップが度し難いとしたら安い; int1 & int2 -> int3: あのクローズアップは安い; fact2 & fact21 -> int4: あのクローズアップは安くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「「あの三ピン端子は取り易いけれどせこくない」ということは間違っている」ということは確かだ; int6 -> int7: 「「取り易いしそれにせこくない」ということは成り立たない」物はある; int7 & fact17 -> int8: そのＹＡはＱＲＳ波である; int8 & fact14 -> int9: そのＹＡは坐す; int9 & fact11 -> hypothesis; __PROVED__
事実1: その左翼陣営は度し難いが神経症状だということはない
事実2: もし仮に「「「あのクローズアップは御心配為さるしまた安い」ということは成り立つ」ということは事実でない」ということは事実であるとすれば「安くない」ということは嘘であるということはない
事実3: 「そのＹＡは成され易くないか揺らぎでない」ということは間違いならあのクローズアップは成され易くない
事実4: 成され易くないものは坐すかあるいは大迫力である
事実5: もしもあのクローズアップが坐すけれど取り易くないならばあの三ピン端子は安い
事実6: 仮にとあるものは坐すかまたは大迫力であるかまたは両方ともなら「あの三ピン端子は坐す」ということは本当である
事実7: 「あのクローズアップは御心配為さるしその上坐す」ということは成り立たない
事実8: そのＹＡは成され易い
事実9: そのＹＡは汚れ易い
事実10: もしもある物は安いとしたら「それは廃絶するけれど嗽液でない」ということは嘘だ
事実11: そのＹＡは坐すとすると「その左翼陣営は成され易いけれど大迫力でない」ということは事実と異なる
事実12: もし仮にそのＹＡが跳ね飛ばさないとすればそれは御心配為さる
事実13: もしあの三ピン端子が取り易いがそれはせこくないならば「あのクローズアップは度し難い」ということは事実である
事実14: そのＹＡはＱＲＳ波であるとすればそれは坐す
事実15: 度し難い物は安い
事実16: 仮にあるものが坐すとするとそれはＱＲＳ波であるけれど度し難くない
事実17: もしも「「「取り易い一方でせこくない」ということは間違いでない」ということは間違っている」物があるとしたらそのＹＡはＱＲＳ波である
事実18: もし仮にその左翼陣営は御心配為さるとすれば「成され易い」ということは確かだ
事実19: もし仮に「ある物が度し難いしその上それは安い」ということは成り立たないとするとそれは安くない
事実20: そのＹＡは跳ね飛ばすということはない
事実21: 「あのクローズアップは御心配為さるしまたそれは安い」ということは誤っている
事実22: もしそのＹＡは御心配為さるとすれば「それは成され易くないかあるいは揺らぎでないかあるいはどちらもである」ということは誤りだ

仮説: 「「その左翼陣営は成され易いけれど大迫力でない」ということは確かだ」ということは誤っている
1. 仮定1: 以下のように仮定する。あの三ピン端子は取り易い一方でせこくない
2. 事実13と仮定1から、推論1: "あのクローズアップは度し難い"が導かれる
3. 事実15から、推論2: "もしもあのクローズアップが度し難いとしたら安い"が導かれる
4. 推論1と推論2から、推論3: "あのクローズアップは安い"が導かれる
5. 事実2と事実21から、推論4: "あのクローズアップは安くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「「あの三ピン端子は取り易いけれどせこくない」ということは間違っている」ということは確かだ"が導かれる
8. 推論6から、推論7: "「「取り易いしそれにせこくない」ということは成り立たない」物はある"が導かれる
9. 推論7と事実17から、推論8: "そのＹＡはＱＲＳ波である"が導かれる
10. 推論8と事実14から、推論9: "そのＹＡは坐す"が導かれる
11. 推論9と事実11から、仮説が導かれる

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