その環境投資は沐浴しない
fact1: このダイムラー・ベンツは企業間競争である fact2: もしも何らかの物が沐浴しないなら多様化するしそれは太り易い fact3: もしこの歯磨きが固いならその出産時期は沐浴するということはない fact4: このオリンピック作戦は企業間競争である fact5: もしこのダイムラー・ベンツが太り易くないとするとその環境投資は沐浴するということはない fact6: もし仮になんらかの物が纏わないならばそれは固くて企業間競争である fact7: その環境投資は企業間競争でない fact8: もしこのオリンピック作戦が太り易いとすれば企業間競争だ fact9: 仮にこの歯磨きは太り易くないとすると「このダイムラー・ベンツは固くないけど太り易い」ということは成り立たない fact10: このオリンピック作戦は太り易くない fact11: もし仮に「このダイムラー・ベンツは固くない一方で太り易い」ということは間違いだとすればその環境投資は沐浴しない fact12: 仮にこの歯磨きが太り易いとしたらそれは多様化する fact13: もしこのオリンピック作戦は企業間競争なら「この歯磨きは多様化しない」ということは成り立つ fact14: このオリンピック作戦は固い
void -> assump1: 以下のように仮定する。この歯磨きは太り易い; fact12 & assump1 -> int1: 「この歯磨きは多様化する」ということは事実だ; fact13 & fact4 -> int2: この歯磨きは多様化しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この歯磨きは太り易くない; int4 & fact9 -> int5: 「このダイムラー・ベンツは固くない一方でそれは太り易い」ということは誤っている; int5 & fact11 -> hypothesis;
その出産時期は太り易い
fact15 -> int6: もしもその出産時期が沐浴するということはないとしたらそれは多様化するしまた太り易い; fact17 -> int7: もし「この歯磨きは纏わない」ということは事実であるとすれば「それは固いし更に企業間競争である」ということは成り立つ;
$facts$ = fact1: このダイムラー・ベンツは企業間競争である fact2: もしも何らかの物が沐浴しないなら多様化するしそれは太り易い fact3: もしこの歯磨きが固いならその出産時期は沐浴するということはない fact4: このオリンピック作戦は企業間競争である fact5: もしこのダイムラー・ベンツが太り易くないとするとその環境投資は沐浴するということはない fact6: もし仮になんらかの物が纏わないならばそれは固くて企業間競争である fact7: その環境投資は企業間競争でない fact8: もしこのオリンピック作戦が太り易いとすれば企業間競争だ fact9: 仮にこの歯磨きは太り易くないとすると「このダイムラー・ベンツは固くないけど太り易い」ということは成り立たない fact10: このオリンピック作戦は太り易くない fact11: もし仮に「このダイムラー・ベンツは固くない一方で太り易い」ということは間違いだとすればその環境投資は沐浴しない fact12: 仮にこの歯磨きが太り易いとしたらそれは多様化する fact13: もしこのオリンピック作戦は企業間競争なら「この歯磨きは多様化しない」ということは成り立つ fact14: このオリンピック作戦は固い ; $hypothesis$ = その環境投資は沐浴しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この歯磨きは太り易い; fact12 & assump1 -> int1: 「この歯磨きは多様化する」ということは事実だ; fact13 & fact4 -> int2: この歯磨きは多様化しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この歯磨きは太り易くない; int4 & fact9 -> int5: 「このダイムラー・ベンツは固くない一方でそれは太り易い」ということは誤っている; int5 & fact11 -> hypothesis; __PROVED__
事実1: このダイムラー・ベンツは企業間競争である
事実2: もしも何らかの物が沐浴しないなら多様化するしそれは太り易い
事実3: もしこの歯磨きが固いならその出産時期は沐浴するということはない
事実4: このオリンピック作戦は企業間競争である
事実5: もしこのダイムラー・ベンツが太り易くないとするとその環境投資は沐浴するということはない
事実6: もし仮になんらかの物が纏わないならばそれは固くて企業間競争である
事実7: その環境投資は企業間競争でない
事実8: もしこのオリンピック作戦が太り易いとすれば企業間競争だ
事実9: 仮にこの歯磨きは太り易くないとすると「このダイムラー・ベンツは固くないけど太り易い」ということは成り立たない
事実10: このオリンピック作戦は太り易くない
事実11: もし仮に「このダイムラー・ベンツは固くない一方で太り易い」ということは間違いだとすればその環境投資は沐浴しない
事実12: 仮にこの歯磨きが太り易いとしたらそれは多様化する
事実13: もしこのオリンピック作戦は企業間競争なら「この歯磨きは多様化しない」ということは成り立つ
事実14: このオリンピック作戦は固い

仮説: その環境投資は沐浴しない
1. 仮定1: 以下のように仮定する。この歯磨きは太り易い
2. 事実12と仮定1から、推論1: "「この歯磨きは多様化する」ということは事実だ"が導かれる
3. 事実13と事実4から、推論2: "この歯磨きは多様化しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この歯磨きは太り易くない"が導かれる
6. 推論4と事実9から、推論5: "「このダイムラー・ベンツは固くない一方でそれは太り易い」ということは誤っている"が導かれる
7. 推論5と事実11から、仮説が導かれる

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