その不二性はドラマ化するけれどそれは酷くない
fact1: その不二性は乾板だしさらにアリオーゾだ fact2: もしその不二性は家系でないなら「あのヤングハズバンドは古めかしくてかつＭＡＩＮである」ということは成り立たない fact3: もし仮に何らかのものは対抗問題であるなら「酷くないしおまけに製造装置でない」ということは成り立たない fact4: あのヤングハズバンドは古めかしい fact5: 「あの二十八日夜は校長先生でないか対抗問題でないかあるいはどちらもだ」ということは正しくない fact6: もし「とある物は古めかしくてＭＡＩＮだ」ということは真実でないとするとＭＡＩＮでない fact7: もし「そのスライド導体は酷くないしさらに製造装置だということはない」ということは成り立たないとしたらあの言語環境は酷い fact8: 「酷い」ものはあれば「その不二性はドラマ化するし発射出来る」ということは間違いである fact9: もしも「あの二十八日夜は校長先生でないかもしくは対抗問題だということはないかどちらもだ」ということは成り立たないとすればあのスライド導体は対抗問題である fact10: もし仮に「発射出来ない」ものがあるとしたらその不二性はドラマ化するけれどそれは酷くない fact11: 古めかしい物は家系であるとしたらそれは発射出来ない fact12: あのヤングハズバンドは家系である fact13: 古めかしくて酷い物は発射出来ない
fact4 & fact12 -> int1: あのヤングハズバンドは古めかしいし家系である; fact11 -> int2: あのヤングハズバンドは古めかしくてそれに家系だとしたら発射出来ない; int1 & int2 -> int3: あのヤングハズバンドは発射出来ない; int3 -> int4: 「発射出来ない」ものはある; int4 & fact10 -> hypothesis;
「ＭＡＩＮでない」ものはある
fact16 -> int5: 「あのヤングハズバンドは古めかしくておまけにＭＡＩＮである」ということは真実でないとすればそれはＭＡＩＮだということはない; fact14 -> int6: もしもそのスライド導体は対抗問題なら「酷くなくて製造装置でない」ということは成り立たない; fact17 & fact20 -> int7: そのスライド導体は対抗問題だ; int6 & int7 -> int8: 「そのスライド導体は酷くないしさらに製造装置でない」ということは成り立たない; fact19 & int8 -> int9: あの言語環境は酷い; int9 -> int10: 酷いものはある; int10 & fact18 -> int11: 「その不二性はドラマ化するしさらに発射出来る」ということは成り立たない;
$facts$ = fact1: その不二性は乾板だしさらにアリオーゾだ fact2: もしその不二性は家系でないなら「あのヤングハズバンドは古めかしくてかつＭＡＩＮである」ということは成り立たない fact3: もし仮に何らかのものは対抗問題であるなら「酷くないしおまけに製造装置でない」ということは成り立たない fact4: あのヤングハズバンドは古めかしい fact5: 「あの二十八日夜は校長先生でないか対抗問題でないかあるいはどちらもだ」ということは正しくない fact6: もし「とある物は古めかしくてＭＡＩＮだ」ということは真実でないとするとＭＡＩＮでない fact7: もし「そのスライド導体は酷くないしさらに製造装置だということはない」ということは成り立たないとしたらあの言語環境は酷い fact8: 「酷い」ものはあれば「その不二性はドラマ化するし発射出来る」ということは間違いである fact9: もしも「あの二十八日夜は校長先生でないかもしくは対抗問題だということはないかどちらもだ」ということは成り立たないとすればあのスライド導体は対抗問題である fact10: もし仮に「発射出来ない」ものがあるとしたらその不二性はドラマ化するけれどそれは酷くない fact11: 古めかしい物は家系であるとしたらそれは発射出来ない fact12: あのヤングハズバンドは家系である fact13: 古めかしくて酷い物は発射出来ない ; $hypothesis$ = その不二性はドラマ化するけれどそれは酷くない ; $proof$ = 
fact4 & fact12 -> int1: あのヤングハズバンドは古めかしいし家系である; fact11 -> int2: あのヤングハズバンドは古めかしくてそれに家系だとしたら発射出来ない; int1 & int2 -> int3: あのヤングハズバンドは発射出来ない; int3 -> int4: 「発射出来ない」ものはある; int4 & fact10 -> hypothesis; __PROVED__
事実1: その不二性は乾板だしさらにアリオーゾだ
事実2: もしその不二性は家系でないなら「あのヤングハズバンドは古めかしくてかつＭＡＩＮである」ということは成り立たない
事実3: もし仮に何らかのものは対抗問題であるなら「酷くないしおまけに製造装置でない」ということは成り立たない
事実4: あのヤングハズバンドは古めかしい
事実5: 「あの二十八日夜は校長先生でないか対抗問題でないかあるいはどちらもだ」ということは正しくない
事実6: もし「とある物は古めかしくてＭＡＩＮだ」ということは真実でないとするとＭＡＩＮでない
事実7: もし「そのスライド導体は酷くないしさらに製造装置だということはない」ということは成り立たないとしたらあの言語環境は酷い
事実8: 「酷い」ものはあれば「その不二性はドラマ化するし発射出来る」ということは間違いである
事実9: もしも「あの二十八日夜は校長先生でないかもしくは対抗問題だということはないかどちらもだ」ということは成り立たないとすればあのスライド導体は対抗問題である
事実10: もし仮に「発射出来ない」ものがあるとしたらその不二性はドラマ化するけれどそれは酷くない
事実11: 古めかしい物は家系であるとしたらそれは発射出来ない
事実12: あのヤングハズバンドは家系である
事実13: 古めかしくて酷い物は発射出来ない

仮説: その不二性はドラマ化するけれどそれは酷くない
1. 事実4と事実12から、推論1: "あのヤングハズバンドは古めかしいし家系である"が導かれる
2. 事実11から、推論2: "あのヤングハズバンドは古めかしくてそれに家系だとしたら発射出来ない"が導かれる
3. 推論1と推論2から、推論3: "あのヤングハズバンドは発射出来ない"が導かれる
4. 推論3から、推論4: "「発射出来ない」ものはある"が導かれる
5. 推論4と事実10から、仮説が導かれる

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