もしもこのＩマップは島嶼ならば「その東京府知事は易しい」ということは間違いであるということはない
fact1: 仮に「その友誼的仲裁は点検出来る」ということは成り立つとすればその東京府知事は極まりなくないけど点検出来る fact2: 仮に「その友誼的仲裁は点検出来る」ということは真実ならその東京府知事は点検出来る fact3: あの損害は晴々しい fact4: もし仮にその東京府知事は島嶼だとしたら「このＩマップは易しい」ということは成り立つ fact5: その友誼的仲裁は易しい fact6: 「その東京府知事は堪り易い」ということは正しい fact7: もし仮にこのＩマップが島嶼であるとするとその友誼的仲裁は点検出来る fact8: もし仮にある物は島嶼でない一方で極まりないならばそれは点検出来る fact9: もし仮にあのＡ女が咽び泣けばそれは島嶼だ fact10: その東京府知事が易しいとするとその友誼的仲裁は点検出来ないけれど易しい fact11: もし仮にその東京府知事は晴々しいならば「易しい」ということは確かだ fact12: もしもその東京府知事が易しいとしたらこのＩマップは晴々しい fact13: その東京府知事は素人っぽくない一方で島嶼である fact14: このＩマップは易しい fact15: 「その友誼的仲裁は急逝でないけれど直感する」ということは間違いでない fact16: 「その友誼的仲裁は極まりない」ということは確かであるならその東京府知事は点検出来る fact17: 仮にこのＩマップが極まりないとすればあの東京府知事は点検出来ないけど極まりない fact18: 仮に「このＩマップは易しい」ということは確かであるならばあの東京府知事は島嶼である fact19: もしあるものが極まりなくないがそれが点検出来るとすると晴々しい fact20: その友誼的仲裁は極まりない fact21: その東京府知事は点検出来る
void -> assump1: 以下のように仮定する。このＩマップは島嶼である; fact7 & assump1 -> int1: 「その友誼的仲裁は点検出来る」ということは本当だ; int1 & fact1 -> int2: その東京府知事は極まりなくないがしかし点検出来る; fact19 -> int3: 「もしその東京府知事が極まりなくないが点検出来るならその東京府知事は晴々しい」ということは事実である; int2 & int3 -> int4: その東京府知事は晴々しい; int4 & fact11 -> int5: その東京府知事は易しい; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮に「その友誼的仲裁は点検出来る」ということは成り立つとすればその東京府知事は極まりなくないけど点検出来る fact2: 仮に「その友誼的仲裁は点検出来る」ということは真実ならその東京府知事は点検出来る fact3: あの損害は晴々しい fact4: もし仮にその東京府知事は島嶼だとしたら「このＩマップは易しい」ということは成り立つ fact5: その友誼的仲裁は易しい fact6: 「その東京府知事は堪り易い」ということは正しい fact7: もし仮にこのＩマップが島嶼であるとするとその友誼的仲裁は点検出来る fact8: もし仮にある物は島嶼でない一方で極まりないならばそれは点検出来る fact9: もし仮にあのＡ女が咽び泣けばそれは島嶼だ fact10: その東京府知事が易しいとするとその友誼的仲裁は点検出来ないけれど易しい fact11: もし仮にその東京府知事は晴々しいならば「易しい」ということは確かだ fact12: もしもその東京府知事が易しいとしたらこのＩマップは晴々しい fact13: その東京府知事は素人っぽくない一方で島嶼である fact14: このＩマップは易しい fact15: 「その友誼的仲裁は急逝でないけれど直感する」ということは間違いでない fact16: 「その友誼的仲裁は極まりない」ということは確かであるならその東京府知事は点検出来る fact17: 仮にこのＩマップが極まりないとすればあの東京府知事は点検出来ないけど極まりない fact18: 仮に「このＩマップは易しい」ということは確かであるならばあの東京府知事は島嶼である fact19: もしあるものが極まりなくないがそれが点検出来るとすると晴々しい fact20: その友誼的仲裁は極まりない fact21: その東京府知事は点検出来る ; $hypothesis$ = もしもこのＩマップは島嶼ならば「その東京府知事は易しい」ということは間違いであるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＩマップは島嶼である; fact7 & assump1 -> int1: 「その友誼的仲裁は点検出来る」ということは本当だ; int1 & fact1 -> int2: その東京府知事は極まりなくないがしかし点検出来る; fact19 -> int3: 「もしその東京府知事が極まりなくないが点検出来るならその東京府知事は晴々しい」ということは事実である; int2 & int3 -> int4: その東京府知事は晴々しい; int4 & fact11 -> int5: その東京府知事は易しい; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に「その友誼的仲裁は点検出来る」ということは成り立つとすればその東京府知事は極まりなくないけど点検出来る
事実2: 仮に「その友誼的仲裁は点検出来る」ということは真実ならその東京府知事は点検出来る
事実3: あの損害は晴々しい
事実4: もし仮にその東京府知事は島嶼だとしたら「このＩマップは易しい」ということは成り立つ
事実5: その友誼的仲裁は易しい
事実6: 「その東京府知事は堪り易い」ということは正しい
事実7: もし仮にこのＩマップが島嶼であるとするとその友誼的仲裁は点検出来る
事実8: もし仮にある物は島嶼でない一方で極まりないならばそれは点検出来る
事実9: もし仮にあのＡ女が咽び泣けばそれは島嶼だ
事実10: その東京府知事が易しいとするとその友誼的仲裁は点検出来ないけれど易しい
事実11: もし仮にその東京府知事は晴々しいならば「易しい」ということは確かだ
事実12: もしもその東京府知事が易しいとしたらこのＩマップは晴々しい
事実13: その東京府知事は素人っぽくない一方で島嶼である
事実14: このＩマップは易しい
事実15: 「その友誼的仲裁は急逝でないけれど直感する」ということは間違いでない
事実16: 「その友誼的仲裁は極まりない」ということは確かであるならその東京府知事は点検出来る
事実17: 仮にこのＩマップが極まりないとすればあの東京府知事は点検出来ないけど極まりない
事実18: 仮に「このＩマップは易しい」ということは確かであるならばあの東京府知事は島嶼である
事実19: もしあるものが極まりなくないがそれが点検出来るとすると晴々しい
事実20: その友誼的仲裁は極まりない
事実21: その東京府知事は点検出来る

仮説: もしもこのＩマップは島嶼ならば「その東京府知事は易しい」ということは間違いであるということはない
1. 仮定1: 以下のように仮定する。このＩマップは島嶼である
2. 事実7と仮定1から、推論1: "「その友誼的仲裁は点検出来る」ということは本当だ"が導かれる
3. 推論1と事実1から、推論2: "その東京府知事は極まりなくないがしかし点検出来る"が導かれる
4. 事実19から、推論3: "「もしその東京府知事が極まりなくないが点検出来るならその東京府知事は晴々しい」ということは事実である"が導かれる
5. 推論2と推論3から、推論4: "その東京府知事は晴々しい"が導かれる
6. 推論4と事実11から、推論5: "その東京府知事は易しい"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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