「このサイエンスは労働関係でない」ということは事実だ
fact1: このサイエンスが危険率であるとしたらその王子達は労働関係だ fact2: 全ては泡立てる fact3: このサイエンスは地域福祉推進でない fact4: もしも「その工廠は地域福祉推進だ」ということは事実ならその王子達は躍り上がる fact5: このサイエンスは黴臭い fact6: 「その住宅ストックは黴臭くて飲み食いする」ということは事実と異なる fact7: もしも「この写真左は地域福祉推進でないしさらに市民対行政関係調整業でない」ということは成り立たないとするとその住宅ストックは躍り上がる fact8: この写真左は物実でない fact9: その工廠は物実でない fact10: その住宅ストックは地域福祉推進だが飲み食いするということはない fact11: 仮にその王子達が危険率だし加えて躍り上がるとすればこのサイエンスは労働関係でない fact12: その工廠は黴臭くない fact13: もしもその住宅ストックが黴臭いとすればその王子達は危険率である fact14: その工廠は地域福祉推進である fact15: 「その住宅ストックは飲み食いするということはない」ということは本当だ fact16: もしもその住宅ストックが飲み食いするとするとこの写真左は物実である fact17: その王子達は労働関係でない fact18: このサイエンスは躍り上がらない fact19: もし仮に何らかの物が危険率であるということはないしその上それが物実だということはないとすればあのサイエンスは労働関係である fact20: その住宅ストックは危険率である fact21: もしも「その住宅ストックは黴臭いけど飲み食いしない」ということは成り立たないとするとこの写真左は物実である fact22: もし仮にその工廠が黴臭いとしたらその住宅ストックは地域福祉推進だ fact23: もし何かは泡立てるとすると「地域福祉推進でないしまた市民対行政関係調整業でない」ということは本当でない fact24: この会社帰りは危険率だ一方でそれは心置き無くない
void -> assump1: 以下のように仮定する。「その住宅ストックは黴臭いがしかし飲み食いしない」ということは嘘だ; fact21 & assump1 -> int1: この写真左は物実だ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: その住宅ストックは黴臭いがしかし飲み食いしない; int3 -> int4: その住宅ストックは黴臭い; int4 & fact13 -> int5: その王子達は危険率である; fact4 & fact14 -> int6: その王子達は躍り上がる; int5 & int6 -> int7: その王子達は危険率であるしかつ躍り上がる; int7 & fact11 -> hypothesis;
このサイエンスは労働関係だ
fact27 -> int8: その王子達は泡立てる; fact28 -> int9: 仮にその王子達は泡立てるとすると「それは地域福祉推進でないしそれに市民対行政関係調整業でない」ということは本当でない; int8 & int9 -> int10: 「その王子達は地域福祉推進でないしかつ市民対行政関係調整業であるということはない」ということは成り立たない; int10 -> int11: それは地域福祉推進だということはなくてかつ市民対行政関係調整業でないというものはない; int11 -> int12: 「この写真左は地域福祉推進だということはないし市民対行政関係調整業でない」ということは偽である; int12 & fact26 -> int13: その住宅ストックは躍り上がる;
$facts$ = fact1: このサイエンスが危険率であるとしたらその王子達は労働関係だ fact2: 全ては泡立てる fact3: このサイエンスは地域福祉推進でない fact4: もしも「その工廠は地域福祉推進だ」ということは事実ならその王子達は躍り上がる fact5: このサイエンスは黴臭い fact6: 「その住宅ストックは黴臭くて飲み食いする」ということは事実と異なる fact7: もしも「この写真左は地域福祉推進でないしさらに市民対行政関係調整業でない」ということは成り立たないとするとその住宅ストックは躍り上がる fact8: この写真左は物実でない fact9: その工廠は物実でない fact10: その住宅ストックは地域福祉推進だが飲み食いするということはない fact11: 仮にその王子達が危険率だし加えて躍り上がるとすればこのサイエンスは労働関係でない fact12: その工廠は黴臭くない fact13: もしもその住宅ストックが黴臭いとすればその王子達は危険率である fact14: その工廠は地域福祉推進である fact15: 「その住宅ストックは飲み食いするということはない」ということは本当だ fact16: もしもその住宅ストックが飲み食いするとするとこの写真左は物実である fact17: その王子達は労働関係でない fact18: このサイエンスは躍り上がらない fact19: もし仮に何らかの物が危険率であるということはないしその上それが物実だということはないとすればあのサイエンスは労働関係である fact20: その住宅ストックは危険率である fact21: もしも「その住宅ストックは黴臭いけど飲み食いしない」ということは成り立たないとするとこの写真左は物実である fact22: もし仮にその工廠が黴臭いとしたらその住宅ストックは地域福祉推進だ fact23: もし何かは泡立てるとすると「地域福祉推進でないしまた市民対行政関係調整業でない」ということは本当でない fact24: この会社帰りは危険率だ一方でそれは心置き無くない ; $hypothesis$ = 「このサイエンスは労働関係でない」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その住宅ストックは黴臭いがしかし飲み食いしない」ということは嘘だ; fact21 & assump1 -> int1: この写真左は物実だ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: その住宅ストックは黴臭いがしかし飲み食いしない; int3 -> int4: その住宅ストックは黴臭い; int4 & fact13 -> int5: その王子達は危険率である; fact4 & fact14 -> int6: その王子達は躍り上がる; int5 & int6 -> int7: その王子達は危険率であるしかつ躍り上がる; int7 & fact11 -> hypothesis; __PROVED__
事実1: このサイエンスが危険率であるとしたらその王子達は労働関係だ
事実2: 全ては泡立てる
事実3: このサイエンスは地域福祉推進でない
事実4: もしも「その工廠は地域福祉推進だ」ということは事実ならその王子達は躍り上がる
事実5: このサイエンスは黴臭い
事実6: 「その住宅ストックは黴臭くて飲み食いする」ということは事実と異なる
事実7: もしも「この写真左は地域福祉推進でないしさらに市民対行政関係調整業でない」ということは成り立たないとするとその住宅ストックは躍り上がる
事実8: この写真左は物実でない
事実9: その工廠は物実でない
事実10: その住宅ストックは地域福祉推進だが飲み食いするということはない
事実11: 仮にその王子達が危険率だし加えて躍り上がるとすればこのサイエンスは労働関係でない
事実12: その工廠は黴臭くない
事実13: もしもその住宅ストックが黴臭いとすればその王子達は危険率である
事実14: その工廠は地域福祉推進である
事実15: 「その住宅ストックは飲み食いするということはない」ということは本当だ
事実16: もしもその住宅ストックが飲み食いするとするとこの写真左は物実である
事実17: その王子達は労働関係でない
事実18: このサイエンスは躍り上がらない
事実19: もし仮に何らかの物が危険率であるということはないしその上それが物実だということはないとすればあのサイエンスは労働関係である
事実20: その住宅ストックは危険率である
事実21: もしも「その住宅ストックは黴臭いけど飲み食いしない」ということは成り立たないとするとこの写真左は物実である
事実22: もし仮にその工廠が黴臭いとしたらその住宅ストックは地域福祉推進だ
事実23: もし何かは泡立てるとすると「地域福祉推進でないしまた市民対行政関係調整業でない」ということは本当でない
事実24: この会社帰りは危険率だ一方でそれは心置き無くない

仮説: 「このサイエンスは労働関係でない」ということは事実だ
1. 仮定1: 以下のように仮定する。「その住宅ストックは黴臭いがしかし飲み食いしない」ということは嘘だ
2. 事実21と仮定1から、推論1: "この写真左は物実だ"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その住宅ストックは黴臭いがしかし飲み食いしない"が導かれる
5. 推論3から、推論4: "その住宅ストックは黴臭い"が導かれる
6. 推論4と事実13から、推論5: "その王子達は危険率である"が導かれる
7. 事実4と事実14から、推論6: "その王子達は躍り上がる"が導かれる
8. 推論5と推論6から、推論7: "その王子達は危険率であるしかつ躍り上がる"が導かれる
9. 推論7と事実11から、仮説が導かれる

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