このシーズン途中は形作らない
fact1: もしその翼部は修復工事なら「このシーズン途中は潰廃でないしそれに形作らない」ということは事実と異なる fact2: もしも「一乗院である」ものがあるとすればその翼部は修復工事だしおまけに飼える fact3: もしその翼部が一乗院だとしたらこのシーズン途中は飼える fact4: この独裁は聡い fact5: この独裁はドットコムでないとすれば「聡くないけど一乗院だ」ということは本当でない fact6: このシーズン途中は聡い一方で修復工事でない fact7: この独裁はドットコムでない fact8: 「「潰廃でなくてそれに形作らない」ということは偽な」ものがあればその助は形作る fact9: このシーズン途中は潰廃だ fact10: その翼部は暗いということはないしまたそれは監督でない fact11: 聡い物は一乗院だ fact12: その翼部は一乗院だ fact13: 何らかのものが形作るしそれが潰廃だとするとそれは監督でない fact14: このシーズン途中が監督でなくてまたそれは修復工事でないとすると「飼えない」ということは事実だ
void -> assump1: 以下のように仮定する。このシーズン途中は形作る; assump1 & fact9 -> int1: このシーズン途中は形作るししかも潰廃である; fact13 -> int2: もしこのシーズン途中は形作るしその上潰廃であるとすれば「監督でない」ということは成り立つ; int1 & int2 -> int3: このシーズン途中は監督でない; fact6 -> int4: 「このシーズン途中は修復工事でない」ということは確かだ; int3 & int4 -> int5: このシーズン途中は監督でなくてその上修復工事でない; int5 & fact14 -> int6: このシーズン途中は飼えない; fact12 & fact3 -> int7: このシーズン途中は飼える; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
このシーズン途中は形作る
fact16 & fact15 -> int9: 「この独裁は聡くないけど一乗院だ」ということは間違っている;
$facts$ = fact1: もしその翼部は修復工事なら「このシーズン途中は潰廃でないしそれに形作らない」ということは事実と異なる fact2: もしも「一乗院である」ものがあるとすればその翼部は修復工事だしおまけに飼える fact3: もしその翼部が一乗院だとしたらこのシーズン途中は飼える fact4: この独裁は聡い fact5: この独裁はドットコムでないとすれば「聡くないけど一乗院だ」ということは本当でない fact6: このシーズン途中は聡い一方で修復工事でない fact7: この独裁はドットコムでない fact8: 「「潰廃でなくてそれに形作らない」ということは偽な」ものがあればその助は形作る fact9: このシーズン途中は潰廃だ fact10: その翼部は暗いということはないしまたそれは監督でない fact11: 聡い物は一乗院だ fact12: その翼部は一乗院だ fact13: 何らかのものが形作るしそれが潰廃だとするとそれは監督でない fact14: このシーズン途中が監督でなくてまたそれは修復工事でないとすると「飼えない」ということは事実だ ; $hypothesis$ = このシーズン途中は形作らない ; $proof$ = 
void -> assump1: 以下のように仮定する。このシーズン途中は形作る; assump1 & fact9 -> int1: このシーズン途中は形作るししかも潰廃である; fact13 -> int2: もしこのシーズン途中は形作るしその上潰廃であるとすれば「監督でない」ということは成り立つ; int1 & int2 -> int3: このシーズン途中は監督でない; fact6 -> int4: 「このシーズン途中は修復工事でない」ということは確かだ; int3 & int4 -> int5: このシーズン途中は監督でなくてその上修復工事でない; int5 & fact14 -> int6: このシーズン途中は飼えない; fact12 & fact3 -> int7: このシーズン途中は飼える; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしその翼部は修復工事なら「このシーズン途中は潰廃でないしそれに形作らない」ということは事実と異なる
事実2: もしも「一乗院である」ものがあるとすればその翼部は修復工事だしおまけに飼える
事実3: もしその翼部が一乗院だとしたらこのシーズン途中は飼える
事実4: この独裁は聡い
事実5: この独裁はドットコムでないとすれば「聡くないけど一乗院だ」ということは本当でない
事実6: このシーズン途中は聡い一方で修復工事でない
事実7: この独裁はドットコムでない
事実8: 「「潰廃でなくてそれに形作らない」ということは偽な」ものがあればその助は形作る
事実9: このシーズン途中は潰廃だ
事実10: その翼部は暗いということはないしまたそれは監督でない
事実11: 聡い物は一乗院だ
事実12: その翼部は一乗院だ
事実13: 何らかのものが形作るしそれが潰廃だとするとそれは監督でない
事実14: このシーズン途中が監督でなくてまたそれは修復工事でないとすると「飼えない」ということは事実だ

仮説: このシーズン途中は形作らない
1. 仮定1: 以下のように仮定する。このシーズン途中は形作る
2. 仮定1と事実9から、推論1: "このシーズン途中は形作るししかも潰廃である"が導かれる
3. 事実13から、推論2: "もしこのシーズン途中は形作るしその上潰廃であるとすれば「監督でない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "このシーズン途中は監督でない"が導かれる
5. 事実6から、推論4: "「このシーズン途中は修復工事でない」ということは確かだ"が導かれる
6. 推論3と推論4から、推論5: "このシーズン途中は監督でなくてその上修復工事でない"が導かれる
7. 推論5と事実14から、推論6: "このシーズン途中は飼えない"が導かれる
8. 事実12と事実3から、推論7: "このシーズン途中は飼える"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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