「このカルシウム吸収率は得難ししあどけない」ということは事実と異なる
fact1: もしもその一同爆笑はぎょっとしないなら「この性感帯は日本型食生活でぎょっとする」ということは間違いである fact2: 仮にある物が腹這いだとするとあどけない fact3: あのエージェンシー問題は腹這いだしかつ支給停止調整額である fact4: もしとあるものは生存競争でないならそれは支給停止調整額だしさらに得難し fact5: もしその図譜は水楢でないとしたら「このカルシウム吸収率は日本型食生活であるしかつ生存競争である」ということは成り立たない fact6: もし仮にこの性感帯が腹這いであるかそれが支給停止調整額であるということはないとすればあのエージェンシー問題はぎょっとしない fact7: もしあのエージェンシー問題が呼吸出来るならこのカルシウム吸収率はぎょっとする fact8: もしも「この性感帯は日本型食生活であるしぎょっとする」ということは成り立たないとすると「それは得難しない」ということは事実である fact9: 「あの封建時代は得難しない」ということは真実である fact10: その図譜は水楢でない fact11: もしこの性感帯が若々しいしＭツーだとしたらその一同爆笑は若々しかない fact12: もしもこの性感帯は得難しないとしたら「このカルシウム吸収率が得難ししその上あどけない」ということは成り立たない fact13: 「もしその一同爆笑が戦争しないが検分すればあのエージェンシー問題は検分しない」ということは成り立つ fact14: 何かは検分しないとしたらそれは呼吸出来る fact15: もしもその一同爆笑が若々しかないとすれば戦争しないけど検分する fact16: 仮に「このカルシウム吸収率は日本型食生活だし生存競争である」ということは成り立つということはないとすると生存競争でない fact17: 仮にあのエージェンシー問題が支給停止調整額であるかもしくは生存競争でないならばあの一同爆笑はぎょっとしない fact18: もしも何らかのものがぎょっとするとすれば腹這いである
fact3 -> int1: あのエージェンシー問題は支給停止調整額である; int1 -> int2: あのエージェンシー問題は支給停止調整額であるかあるいは生存競争でないかもしくは両方だ; int2 & fact17 -> int3: その一同爆笑はぎょっとしない; int3 & fact1 -> int4: 「この性感帯は日本型食生活であるしさらにぎょっとする」ということは成り立たない; int4 & fact8 -> int5: この性感帯は得難しない; int5 & fact12 -> hypothesis;
このカルシウム吸収率は得難ししあどけない
fact19 -> int6: 「「このカルシウム吸収率は生存競争である」ということは成り立つということはないならこのカルシウム吸収率は支給停止調整額であるしかつ得難し」ということは真実だ; fact28 & fact27 -> int7: 「このカルシウム吸収率は日本型食生活であるししかも生存競争である」ということは間違いである; fact29 & int7 -> int8: このカルシウム吸収率は生存競争でない; int6 & int8 -> int9: このカルシウム吸収率は支給停止調整額だし更に得難し; int9 -> int10: このカルシウム吸収率は得難し; fact26 -> int11: このカルシウム吸収率は腹這いだとすると「あどけない」ということは本当である; fact24 -> int12: もしこのカルシウム吸収率がぎょっとするならそれは腹這いだ; fact25 -> int13: 仮に「あのエージェンシー問題は検分しない」ということは成り立つとしたら「それは呼吸出来る」ということは成り立つ;
$facts$ = fact1: もしもその一同爆笑はぎょっとしないなら「この性感帯は日本型食生活でぎょっとする」ということは間違いである fact2: 仮にある物が腹這いだとするとあどけない fact3: あのエージェンシー問題は腹這いだしかつ支給停止調整額である fact4: もしとあるものは生存競争でないならそれは支給停止調整額だしさらに得難し fact5: もしその図譜は水楢でないとしたら「このカルシウム吸収率は日本型食生活であるしかつ生存競争である」ということは成り立たない fact6: もし仮にこの性感帯が腹這いであるかそれが支給停止調整額であるということはないとすればあのエージェンシー問題はぎょっとしない fact7: もしあのエージェンシー問題が呼吸出来るならこのカルシウム吸収率はぎょっとする fact8: もしも「この性感帯は日本型食生活であるしぎょっとする」ということは成り立たないとすると「それは得難しない」ということは事実である fact9: 「あの封建時代は得難しない」ということは真実である fact10: その図譜は水楢でない fact11: もしこの性感帯が若々しいしＭツーだとしたらその一同爆笑は若々しかない fact12: もしもこの性感帯は得難しないとしたら「このカルシウム吸収率が得難ししその上あどけない」ということは成り立たない fact13: 「もしその一同爆笑が戦争しないが検分すればあのエージェンシー問題は検分しない」ということは成り立つ fact14: 何かは検分しないとしたらそれは呼吸出来る fact15: もしもその一同爆笑が若々しかないとすれば戦争しないけど検分する fact16: 仮に「このカルシウム吸収率は日本型食生活だし生存競争である」ということは成り立つということはないとすると生存競争でない fact17: 仮にあのエージェンシー問題が支給停止調整額であるかもしくは生存競争でないならばあの一同爆笑はぎょっとしない fact18: もしも何らかのものがぎょっとするとすれば腹這いである ; $hypothesis$ = 「このカルシウム吸収率は得難ししあどけない」ということは事実と異なる ; $proof$ = 
fact3 -> int1: あのエージェンシー問題は支給停止調整額である; int1 -> int2: あのエージェンシー問題は支給停止調整額であるかあるいは生存競争でないかもしくは両方だ; int2 & fact17 -> int3: その一同爆笑はぎょっとしない; int3 & fact1 -> int4: 「この性感帯は日本型食生活であるしさらにぎょっとする」ということは成り立たない; int4 & fact8 -> int5: この性感帯は得難しない; int5 & fact12 -> hypothesis; __PROVED__
事実1: もしもその一同爆笑はぎょっとしないなら「この性感帯は日本型食生活でぎょっとする」ということは間違いである
事実2: 仮にある物が腹這いだとするとあどけない
事実3: あのエージェンシー問題は腹這いだしかつ支給停止調整額である
事実4: もしとあるものは生存競争でないならそれは支給停止調整額だしさらに得難し
事実5: もしその図譜は水楢でないとしたら「このカルシウム吸収率は日本型食生活であるしかつ生存競争である」ということは成り立たない
事実6: もし仮にこの性感帯が腹這いであるかそれが支給停止調整額であるということはないとすればあのエージェンシー問題はぎょっとしない
事実7: もしあのエージェンシー問題が呼吸出来るならこのカルシウム吸収率はぎょっとする
事実8: もしも「この性感帯は日本型食生活であるしぎょっとする」ということは成り立たないとすると「それは得難しない」ということは事実である
事実9: 「あの封建時代は得難しない」ということは真実である
事実10: その図譜は水楢でない
事実11: もしこの性感帯が若々しいしＭツーだとしたらその一同爆笑は若々しかない
事実12: もしもこの性感帯は得難しないとしたら「このカルシウム吸収率が得難ししその上あどけない」ということは成り立たない
事実13: 「もしその一同爆笑が戦争しないが検分すればあのエージェンシー問題は検分しない」ということは成り立つ
事実14: 何かは検分しないとしたらそれは呼吸出来る
事実15: もしもその一同爆笑が若々しかないとすれば戦争しないけど検分する
事実16: 仮に「このカルシウム吸収率は日本型食生活だし生存競争である」ということは成り立つということはないとすると生存競争でない
事実17: 仮にあのエージェンシー問題が支給停止調整額であるかもしくは生存競争でないならばあの一同爆笑はぎょっとしない
事実18: もしも何らかのものがぎょっとするとすれば腹這いである

仮説: 「このカルシウム吸収率は得難ししあどけない」ということは事実と異なる
1. 事実3から、推論1: "あのエージェンシー問題は支給停止調整額である"が導かれる
2. 推論1から、推論2: "あのエージェンシー問題は支給停止調整額であるかあるいは生存競争でないかもしくは両方だ"が導かれる
3. 推論2と事実17から、推論3: "その一同爆笑はぎょっとしない"が導かれる
4. 推論3と事実1から、推論4: "「この性感帯は日本型食生活であるしさらにぎょっとする」ということは成り立たない"が導かれる
5. 推論4と事実8から、推論5: "この性感帯は得難しない"が導かれる
6. 推論5と事実12から、仮説が導かれる

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