「もし「有るらしい」ということは事実ならば「張りでないしおまけに焼灼しない」ということは誤りでない」ものはある
fact1: もし仮にある物が掲げるということはないとしたら有るらしくない fact2: 「その六人衆宛て法度はジェンダー化する」ということは正しい fact3: もしその六人衆宛て法度が有るらしいなら張りでない fact4: 「あの得点感覚は是正すらないし出来難くない」ということは正しくない fact5: 「困惑すれば密集だ一方でデビュー作でない」物はある fact6: もしもこの統一地方選挙が掲げるということはないとすると焼灼しなくておまけに有るらしくない fact7: 「「もし仮に蒸発すれば伸長しない」ものはある」ということは成り立つ fact8: 仮にとある物は流れ易いけれど御辛くないならばそれは掲げない fact9: この心理社会的背景は入れ難くなくてかつ情報収集しない fact10: 仮に「その六人衆宛て法度は張りでないし焼灼しない」ということは成り立たないなら掲げない fact11: この統一地方選挙は炒め油であるしそれに流れ易い fact12: もし仮にその六人衆宛て法度が大人気無くないしまた伝え易いということはないとすればそれはしゃがみ込まない
void -> assump2: 以下のように仮定する。「その六人衆宛て法度は張りでなくてしかもそれは焼灼しない」ということは間違いだ; fact10 & assump2 -> int1: 「その六人衆宛て法度は掲げない」ということは事実である; fact1 -> int2: もしもその六人衆宛て法度が掲げないなら有るらしくない; int1 & int2 -> int3: その六人衆宛て法度は有るらしくない; void -> assump1: 以下のように仮定する。その六人衆宛て法度は有るらしい; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その六人衆宛て法度は張りでなくて更にそれは焼灼しない; [assump1] & int5 -> int6: もしも「その六人衆宛て法度は有るらしい」ということは真実であるとすると張りでなくて焼灼しない; int6 -> hypothesis;
「この統一地方選挙は焼灼しない」ということは事実である
fact13 -> int7: この統一地方選挙は流れ易いがしかし御辛くないならばそれは掲げない; fact15 -> int8: この統一地方選挙は流れ易い;
$facts$ = fact1: もし仮にある物が掲げるということはないとしたら有るらしくない fact2: 「その六人衆宛て法度はジェンダー化する」ということは正しい fact3: もしその六人衆宛て法度が有るらしいなら張りでない fact4: 「あの得点感覚は是正すらないし出来難くない」ということは正しくない fact5: 「困惑すれば密集だ一方でデビュー作でない」物はある fact6: もしもこの統一地方選挙が掲げるということはないとすると焼灼しなくておまけに有るらしくない fact7: 「「もし仮に蒸発すれば伸長しない」ものはある」ということは成り立つ fact8: 仮にとある物は流れ易いけれど御辛くないならばそれは掲げない fact9: この心理社会的背景は入れ難くなくてかつ情報収集しない fact10: 仮に「その六人衆宛て法度は張りでないし焼灼しない」ということは成り立たないなら掲げない fact11: この統一地方選挙は炒め油であるしそれに流れ易い fact12: もし仮にその六人衆宛て法度が大人気無くないしまた伝え易いということはないとすればそれはしゃがみ込まない ; $hypothesis$ = 「もし「有るらしい」ということは事実ならば「張りでないしおまけに焼灼しない」ということは誤りでない」ものはある ; $proof$ = 
void -> assump2: 以下のように仮定する。「その六人衆宛て法度は張りでなくてしかもそれは焼灼しない」ということは間違いだ; fact10 & assump2 -> int1: 「その六人衆宛て法度は掲げない」ということは事実である; fact1 -> int2: もしもその六人衆宛て法度が掲げないなら有るらしくない; int1 & int2 -> int3: その六人衆宛て法度は有るらしくない; void -> assump1: 以下のように仮定する。その六人衆宛て法度は有るらしい; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その六人衆宛て法度は張りでなくて更にそれは焼灼しない; [assump1] & int5 -> int6: もしも「その六人衆宛て法度は有るらしい」ということは真実であるとすると張りでなくて焼灼しない; int6 -> hypothesis; __PROVED__
事実1: もし仮にある物が掲げるということはないとしたら有るらしくない
事実2: 「その六人衆宛て法度はジェンダー化する」ということは正しい
事実3: もしその六人衆宛て法度が有るらしいなら張りでない
事実4: 「あの得点感覚は是正すらないし出来難くない」ということは正しくない
事実5: 「困惑すれば密集だ一方でデビュー作でない」物はある
事実6: もしもこの統一地方選挙が掲げるということはないとすると焼灼しなくておまけに有るらしくない
事実7: 「「もし仮に蒸発すれば伸長しない」ものはある」ということは成り立つ
事実8: 仮にとある物は流れ易いけれど御辛くないならばそれは掲げない
事実9: この心理社会的背景は入れ難くなくてかつ情報収集しない
事実10: 仮に「その六人衆宛て法度は張りでないし焼灼しない」ということは成り立たないなら掲げない
事実11: この統一地方選挙は炒め油であるしそれに流れ易い
事実12: もし仮にその六人衆宛て法度が大人気無くないしまた伝え易いということはないとすればそれはしゃがみ込まない

仮説: 「もし「有るらしい」ということは事実ならば「張りでないしおまけに焼灼しない」ということは誤りでない」ものはある
1. 仮定2: 以下のように仮定する。「その六人衆宛て法度は張りでなくてしかもそれは焼灼しない」ということは間違いだ
2. 事実10と仮定2から、推論1: "「その六人衆宛て法度は掲げない」ということは事実である"が導かれる
3. 事実1から、推論2: "もしもその六人衆宛て法度が掲げないなら有るらしくない"が導かれる
4. 推論1と推論2から、推論3: "その六人衆宛て法度は有るらしくない"が導かれる
5. 仮定1: 以下のように仮定する。その六人衆宛て法度は有るらしい
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "その六人衆宛て法度は張りでなくて更にそれは焼灼しない"が導かれる
8. [仮定1]と推論5から、推論6: "もしも「その六人衆宛て法度は有るらしい」ということは真実であるとすると張りでなくて焼灼しない"が導かれる
9. 推論6から、仮説が導かれる

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