この数百万人は振り切る
fact1: そのブーダーンは悪感情でない fact2: もしもとある物が縫い繋ぐとすればそのブーダーンは会社関係者である fact3: なんらかのものが製糖業であるかそれは手堅くないか両方ならば手堅くない fact4: ある物が光合成しない一方で手堅いとすると振り切る fact5: この数百万人は連想し易い fact6: この数百万人は手堅いし連想し易い fact7: その政治的発展が手堅くないとするとそのブーダーンは会社関係者だということはなくておまけにそれは悪感情でない fact8: 会社関係者は悪感情である fact9: そのブーダーンは会社関係者でないしさらに悪感情でないとすればそれは縫い繋ぐということはない fact10: もしも「縫い繋ぐかもしくは光合成するかまたは両方ともである」ものがあるとすればあのブーダーンは会社関係者である
void -> assump1: 以下のように仮定する。この数百万人は光合成する; assump1 -> int1: この数百万人は縫い繋ぐか光合成するかまたは両方ともである; int1 -> int2: 「縫い繋ぐか光合成するかあるいは両方ともな」ものはある; int2 & fact10 -> int3: そのブーダーンは会社関係者である; fact8 -> int4: もしそのブーダーンは会社関係者であるとすれば悪感情だ; int3 & int4 -> int5: そのブーダーンは悪感情である; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: この数百万人は光合成しない; fact6 -> int8: この数百万人は手堅い; int7 & int8 -> int9: この数百万人は光合成しない一方でそれは手堅い; fact4 -> int10: 仮にこの数百万人は光合成しないけど手堅いなら振り切る; int9 & int10 -> hypothesis;
この数百万人は振り切らない
fact13 -> int11: 仮にその政治的発展は製糖業であるかあるいは手堅くないか両方ともであるならばそれは手堅くない;
$facts$ = fact1: そのブーダーンは悪感情でない fact2: もしもとある物が縫い繋ぐとすればそのブーダーンは会社関係者である fact3: なんらかのものが製糖業であるかそれは手堅くないか両方ならば手堅くない fact4: ある物が光合成しない一方で手堅いとすると振り切る fact5: この数百万人は連想し易い fact6: この数百万人は手堅いし連想し易い fact7: その政治的発展が手堅くないとするとそのブーダーンは会社関係者だということはなくておまけにそれは悪感情でない fact8: 会社関係者は悪感情である fact9: そのブーダーンは会社関係者でないしさらに悪感情でないとすればそれは縫い繋ぐということはない fact10: もしも「縫い繋ぐかもしくは光合成するかまたは両方ともである」ものがあるとすればあのブーダーンは会社関係者である ; $hypothesis$ = この数百万人は振り切る ; $proof$ = 
void -> assump1: 以下のように仮定する。この数百万人は光合成する; assump1 -> int1: この数百万人は縫い繋ぐか光合成するかまたは両方ともである; int1 -> int2: 「縫い繋ぐか光合成するかあるいは両方ともな」ものはある; int2 & fact10 -> int3: そのブーダーンは会社関係者である; fact8 -> int4: もしそのブーダーンは会社関係者であるとすれば悪感情だ; int3 & int4 -> int5: そのブーダーンは悪感情である; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: この数百万人は光合成しない; fact6 -> int8: この数百万人は手堅い; int7 & int8 -> int9: この数百万人は光合成しない一方でそれは手堅い; fact4 -> int10: 仮にこの数百万人は光合成しないけど手堅いなら振り切る; int9 & int10 -> hypothesis; __PROVED__
事実1: そのブーダーンは悪感情でない
事実2: もしもとある物が縫い繋ぐとすればそのブーダーンは会社関係者である
事実3: なんらかのものが製糖業であるかそれは手堅くないか両方ならば手堅くない
事実4: ある物が光合成しない一方で手堅いとすると振り切る
事実5: この数百万人は連想し易い
事実6: この数百万人は手堅いし連想し易い
事実7: その政治的発展が手堅くないとするとそのブーダーンは会社関係者だということはなくておまけにそれは悪感情でない
事実8: 会社関係者は悪感情である
事実9: そのブーダーンは会社関係者でないしさらに悪感情でないとすればそれは縫い繋ぐということはない
事実10: もしも「縫い繋ぐかもしくは光合成するかまたは両方ともである」ものがあるとすればあのブーダーンは会社関係者である

仮説: この数百万人は振り切る
1. 仮定1: 以下のように仮定する。この数百万人は光合成する
2. 仮定1から、推論1: "この数百万人は縫い繋ぐか光合成するかまたは両方ともである"が導かれる
3. 推論1から、推論2: "「縫い繋ぐか光合成するかあるいは両方ともな」ものはある"が導かれる
4. 推論2と事実10から、推論3: "そのブーダーンは会社関係者である"が導かれる
5. 事実8から、推論4: "もしそのブーダーンは会社関係者であるとすれば悪感情だ"が導かれる
6. 推論3と推論4から、推論5: "そのブーダーンは悪感情である"が導かれる
7. 推論5と事実1から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この数百万人は光合成しない"が導かれる
9. 事実6から、推論8: "この数百万人は手堅い"が導かれる
10. 推論7と推論8から、推論9: "この数百万人は光合成しない一方でそれは手堅い"が導かれる
11. 事実4から、推論10: "仮にこの数百万人は光合成しないけど手堅いなら振り切る"が導かれる
12. 推論9と推論10から、仮説が導かれる

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