「あの同条約は切り易い」ということは事実である
fact1: もしも「その電波少年は汚れ易くないけれど同門である」ということは事実と異なるとしたら「あのＳＰＳ協定は切り易い」ということは偽でない fact2: もしなにかは詰め込めないならそれは切り易いし汚れ易い fact3: もしその電波少年が恐れ多いならばあの同条約は切り易い fact4: なんらかの物は定住化だとすれば「汚れ易くないけれど同門だ」ということは成り立たない fact5: 「その電波少年はぱちくりするし恐れ多い」ということは成り立つということはない fact6: 仮にとあるものは否定し難いならば「具現化するが詰め込めない」ということは成り立たない fact7: もしも「「具現化するしさらに詰め込めない」ということは偽である」物はあるとしたら「あのＳＰＳ協定は詰め込める」ということは事実である fact8: あのＳＰＳ協定は汚れ易くない fact9: もし「その電波少年はぱちくりするがしかし恐れ多くない」ということは真実でないならあの同条約は切り易い fact10: 仮にあのＳＰＳ協定は汚れ易くないとしたら「その電波少年はぱちくりするがそれは恐れ多くない」ということは成り立つということはない fact11: もしなんらかの物は汚れ易いなら「それはトルコ語であるしまた恐れ多くない」ということは成り立たない fact12: 「そのマルコムＸワールド佐藤良明著・径書房は継ぎ足さないが定住化である」ということは確かでないとすれば「その電波少年は定住化でない」ということは間違っている fact13: 「その電波少年は恐れ多いけどそれは汚れ易くない」ということは誤りであるとしたら「あのＳＰＳ協定はぱちくりする」ということは成り立つ fact14: もしもあのＳＰＳ協定は詰め込めるしおまけに切り易いとしたら「あの同条約は切り易いということはない」ということは事実だ fact15: もし仮になんらかのものは吊り易いとすると「継ぎ足さない一方で定住化だ」ということは間違いである fact16: 「このマイスターは納入しない」ということは正しい fact17: もしあのＳＰＳ協定は汚れ易くないとすると「その電波少年はぱちくりするしその上恐れ多い」ということは誤りだ fact18: もしその電波少年は切り易くないとすれば「あの同条約は恐れ多いけれどぱちくりしない」ということは成り立つということはない fact19: すべては同門であるかもしくは詰め込めない fact20: 「このマイスターは納入しない」ということは確かだとすればそれは否定し難くておまけに続行する
fact10 & fact8 -> int1: 「その電波少年はぱちくりする一方で恐れ多くない」ということは偽である; int1 & fact9 -> hypothesis;
fact10 & fact8 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact9 -> hypothesis;
「「「あのＳＰＳ協定はトルコ語であるけれど恐れ多くない」ということは成り立つ」ということは成り立たない」ということは事実である
fact21 -> int2: もしもその電波少年は汚れ易いとしたら「トルコ語であるしかつ恐れ多くない」ということは事実でない; fact22 -> int3: その電波少年は同門であるか詰め込めないか両方だ; fact23 -> int4: 仮にその電波少年が詰め込めないとすれば切り易いしさらに汚れ易い;
$facts$ = fact1: もしも「その電波少年は汚れ易くないけれど同門である」ということは事実と異なるとしたら「あのＳＰＳ協定は切り易い」ということは偽でない fact2: もしなにかは詰め込めないならそれは切り易いし汚れ易い fact3: もしその電波少年が恐れ多いならばあの同条約は切り易い fact4: なんらかの物は定住化だとすれば「汚れ易くないけれど同門だ」ということは成り立たない fact5: 「その電波少年はぱちくりするし恐れ多い」ということは成り立つということはない fact6: 仮にとあるものは否定し難いならば「具現化するが詰め込めない」ということは成り立たない fact7: もしも「「具現化するしさらに詰め込めない」ということは偽である」物はあるとしたら「あのＳＰＳ協定は詰め込める」ということは事実である fact8: あのＳＰＳ協定は汚れ易くない fact9: もし「その電波少年はぱちくりするがしかし恐れ多くない」ということは真実でないならあの同条約は切り易い fact10: 仮にあのＳＰＳ協定は汚れ易くないとしたら「その電波少年はぱちくりするがそれは恐れ多くない」ということは成り立つということはない fact11: もしなんらかの物は汚れ易いなら「それはトルコ語であるしまた恐れ多くない」ということは成り立たない fact12: 「そのマルコムＸワールド佐藤良明著・径書房は継ぎ足さないが定住化である」ということは確かでないとすれば「その電波少年は定住化でない」ということは間違っている fact13: 「その電波少年は恐れ多いけどそれは汚れ易くない」ということは誤りであるとしたら「あのＳＰＳ協定はぱちくりする」ということは成り立つ fact14: もしもあのＳＰＳ協定は詰め込めるしおまけに切り易いとしたら「あの同条約は切り易いということはない」ということは事実だ fact15: もし仮になんらかのものは吊り易いとすると「継ぎ足さない一方で定住化だ」ということは間違いである fact16: 「このマイスターは納入しない」ということは正しい fact17: もしあのＳＰＳ協定は汚れ易くないとすると「その電波少年はぱちくりするしその上恐れ多い」ということは誤りだ fact18: もしその電波少年は切り易くないとすれば「あの同条約は恐れ多いけれどぱちくりしない」ということは成り立つということはない fact19: すべては同門であるかもしくは詰め込めない fact20: 「このマイスターは納入しない」ということは確かだとすればそれは否定し難くておまけに続行する ; $hypothesis$ = 「あの同条約は切り易い」ということは事実である ; $proof$ = 
fact10 & fact8 -> int1: 「その電波少年はぱちくりする一方で恐れ多くない」ということは偽である; int1 & fact9 -> hypothesis; __PROVED__
事実1: もしも「その電波少年は汚れ易くないけれど同門である」ということは事実と異なるとしたら「あのＳＰＳ協定は切り易い」ということは偽でない
事実2: もしなにかは詰め込めないならそれは切り易いし汚れ易い
事実3: もしその電波少年が恐れ多いならばあの同条約は切り易い
事実4: なんらかの物は定住化だとすれば「汚れ易くないけれど同門だ」ということは成り立たない
事実5: 「その電波少年はぱちくりするし恐れ多い」ということは成り立つということはない
事実6: 仮にとあるものは否定し難いならば「具現化するが詰め込めない」ということは成り立たない
事実7: もしも「「具現化するしさらに詰め込めない」ということは偽である」物はあるとしたら「あのＳＰＳ協定は詰め込める」ということは事実である
事実8: あのＳＰＳ協定は汚れ易くない
事実9: もし「その電波少年はぱちくりするがしかし恐れ多くない」ということは真実でないならあの同条約は切り易い
事実10: 仮にあのＳＰＳ協定は汚れ易くないとしたら「その電波少年はぱちくりするがそれは恐れ多くない」ということは成り立つということはない
事実11: もしなんらかの物は汚れ易いなら「それはトルコ語であるしまた恐れ多くない」ということは成り立たない
事実12: 「そのマルコムＸワールド佐藤良明著・径書房は継ぎ足さないが定住化である」ということは確かでないとすれば「その電波少年は定住化でない」ということは間違っている
事実13: 「その電波少年は恐れ多いけどそれは汚れ易くない」ということは誤りであるとしたら「あのＳＰＳ協定はぱちくりする」ということは成り立つ
事実14: もしもあのＳＰＳ協定は詰め込めるしおまけに切り易いとしたら「あの同条約は切り易いということはない」ということは事実だ
事実15: もし仮になんらかのものは吊り易いとすると「継ぎ足さない一方で定住化だ」ということは間違いである
事実16: 「このマイスターは納入しない」ということは正しい
事実17: もしあのＳＰＳ協定は汚れ易くないとすると「その電波少年はぱちくりするしその上恐れ多い」ということは誤りだ
事実18: もしその電波少年は切り易くないとすれば「あの同条約は恐れ多いけれどぱちくりしない」ということは成り立つということはない
事実19: すべては同門であるかもしくは詰め込めない
事実20: 「このマイスターは納入しない」ということは確かだとすればそれは否定し難くておまけに続行する

仮説: 「あの同条約は切り易い」ということは事実である
1. 事実10と事実8から、推論1: "「その電波少年はぱちくりする一方で恐れ多くない」ということは偽である"が導かれる
2. 推論1と事実9から、仮説が導かれる

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