「仮に「チッタデッラだし加えて修築する」ということは成り立つということはないならば「ソールであるということはない」ということは成り立つ」ものはある
fact1: 仮に「何らかのものはＩＳ用であるし清い」ということは確かであるということはないならば「連座しない」ということは確かだ fact2: もし仮にその善悪はチッタデッラでおまけに修築するとしたらそれはソールでない fact3: もし仮に「何かは羅生門河岸であるしそれは知的訓練である」ということは間違っているとしたらそれは雲斎だ fact4: 「とある物はチッタデッラで加えて修築する」ということは偽ならソールでない fact5: 何かはチッタデッラでないとしたらソールだということはない fact6: 「仮に目まぐるしいし割り切れるなら「当該申請書でない」ということは事実である」物はある fact7: 「もし仮に拠出出来るしおまけに相続開始後だとすれば一するということはない」物はある fact8: もし仮に「その善悪は威望でそれに修築する」ということは間違いであるとしたら「それは一しない」ということは正しい fact9: もし仮になにかはむさくるしくてそれはＩＮＲであるとすれば脅威認識でない fact10: 仮に「何らかの物が携帯出来るしその上結論する」ということは成り立たないとすればそれは図れる fact11: 「仮に「石室規模であるし加えて目配せだ」ということは間違いであるとしたら統御するということはない」物はある fact12: もし仮に「その善悪は修築するしさらにそれは雲斎だ」ということは誤っているとすると「それは空恐ろしくない」ということは正しい fact13: 「もしも論争するしその上オイルであるなら脅威認識でない」物はある fact14: もし仮にとある物は国際経済学だしまたＩＭＰであるなら送受信するということはない fact15: 「もし一しないとすれば過ごし易くない」物はある fact16: 「仮に「耐え難くて尊し」ということは成り立たないとすれば喫煙対策でない」物はある fact17: 仮に「あるものは少ないしタイムスである」ということは嘘ならＳＵＢ．ＮＳＣＧ．ｊｐでない fact18: 「もしも「チッタデッラであるし更に修築する」ということは真実だということはないとすればソールである」物はある
fact4 -> int1: もし仮に「その善悪はチッタデッラであるし修築する」ということは成り立つということはないとしたらソールであるということはない; int1 -> hypothesis;
$facts$ = fact1: 仮に「何らかのものはＩＳ用であるし清い」ということは確かであるということはないならば「連座しない」ということは確かだ fact2: もし仮にその善悪はチッタデッラでおまけに修築するとしたらそれはソールでない fact3: もし仮に「何かは羅生門河岸であるしそれは知的訓練である」ということは間違っているとしたらそれは雲斎だ fact4: 「とある物はチッタデッラで加えて修築する」ということは偽ならソールでない fact5: 何かはチッタデッラでないとしたらソールだということはない fact6: 「仮に目まぐるしいし割り切れるなら「当該申請書でない」ということは事実である」物はある fact7: 「もし仮に拠出出来るしおまけに相続開始後だとすれば一するということはない」物はある fact8: もし仮に「その善悪は威望でそれに修築する」ということは間違いであるとしたら「それは一しない」ということは正しい fact9: もし仮になにかはむさくるしくてそれはＩＮＲであるとすれば脅威認識でない fact10: 仮に「何らかの物が携帯出来るしその上結論する」ということは成り立たないとすればそれは図れる fact11: 「仮に「石室規模であるし加えて目配せだ」ということは間違いであるとしたら統御するということはない」物はある fact12: もし仮に「その善悪は修築するしさらにそれは雲斎だ」ということは誤っているとすると「それは空恐ろしくない」ということは正しい fact13: 「もしも論争するしその上オイルであるなら脅威認識でない」物はある fact14: もし仮にとある物は国際経済学だしまたＩＭＰであるなら送受信するということはない fact15: 「もし一しないとすれば過ごし易くない」物はある fact16: 「仮に「耐え難くて尊し」ということは成り立たないとすれば喫煙対策でない」物はある fact17: 仮に「あるものは少ないしタイムスである」ということは嘘ならＳＵＢ．ＮＳＣＧ．ｊｐでない fact18: 「もしも「チッタデッラであるし更に修築する」ということは真実だということはないとすればソールである」物はある ; $hypothesis$ = 「仮に「チッタデッラだし加えて修築する」ということは成り立つということはないならば「ソールであるということはない」ということは成り立つ」ものはある ; $proof$ = 
fact4 -> int1: もし仮に「その善悪はチッタデッラであるし修築する」ということは成り立つということはないとしたらソールであるということはない; int1 -> hypothesis; __PROVED__
事実1: 仮に「何らかのものはＩＳ用であるし清い」ということは確かであるということはないならば「連座しない」ということは確かだ
事実2: もし仮にその善悪はチッタデッラでおまけに修築するとしたらそれはソールでない
事実3: もし仮に「何かは羅生門河岸であるしそれは知的訓練である」ということは間違っているとしたらそれは雲斎だ
事実4: 「とある物はチッタデッラで加えて修築する」ということは偽ならソールでない
事実5: 何かはチッタデッラでないとしたらソールだということはない
事実6: 「仮に目まぐるしいし割り切れるなら「当該申請書でない」ということは事実である」物はある
事実7: 「もし仮に拠出出来るしおまけに相続開始後だとすれば一するということはない」物はある
事実8: もし仮に「その善悪は威望でそれに修築する」ということは間違いであるとしたら「それは一しない」ということは正しい
事実9: もし仮になにかはむさくるしくてそれはＩＮＲであるとすれば脅威認識でない
事実10: 仮に「何らかの物が携帯出来るしその上結論する」ということは成り立たないとすればそれは図れる
事実11: 「仮に「石室規模であるし加えて目配せだ」ということは間違いであるとしたら統御するということはない」物はある
事実12: もし仮に「その善悪は修築するしさらにそれは雲斎だ」ということは誤っているとすると「それは空恐ろしくない」ということは正しい
事実13: 「もしも論争するしその上オイルであるなら脅威認識でない」物はある
事実14: もし仮にとある物は国際経済学だしまたＩＭＰであるなら送受信するということはない
事実15: 「もし一しないとすれば過ごし易くない」物はある
事実16: 「仮に「耐え難くて尊し」ということは成り立たないとすれば喫煙対策でない」物はある
事実17: 仮に「あるものは少ないしタイムスである」ということは嘘ならＳＵＢ．ＮＳＣＧ．ｊｐでない
事実18: 「もしも「チッタデッラであるし更に修築する」ということは真実だということはないとすればソールである」物はある

仮説: 「仮に「チッタデッラだし加えて修築する」ということは成り立つということはないならば「ソールであるということはない」ということは成り立つ」ものはある
1. 事実4から、推論1: "もし仮に「その善悪はチッタデッラであるし修築する」ということは成り立つということはないとしたらソールであるということはない"が導かれる
2. 推論1から、仮説が導かれる

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