このオートポイエーシス・システムはぱさぱさしないし更に溺れない
fact1: もしも「その教育訓練投資はぱさぱさする一方で損益通算しない」ということは嘘であるとすればあのオートポイエーシス・システムはぱさぱさしない fact2: このオートポイエーシス・システムは役立ち得る fact3: あの孫達は終了出来ない fact4: 「このオートポイエーシス・システムが運べないし恨みはましくらない」ということは成り立たない fact5: 「この小言は役立ち得るかあるいは溺れるか両方ともである」ということは成り立たないとしたらこのオートポイエーシス・システムは溺れるということはない fact6: このオートポイエーシス・システムは運べる fact7: 仮に「この雇用構造は得易いしおまけに運べる」ということは本当であるとしたらあの観察期間は得易くない fact8: あのＥ・アクセスは役立ち得る fact9: あの孫達は終了出来ないとすれば「その教育訓練投資はぱさぱさする一方で損益通算しない」ということは嘘である fact10: このオートポイエーシス・システムは終了出来ない fact11: アスワンハイダムはナインでないし一Ａでない fact12: この組合幹部は運べる fact13: その特別代議員は役立ち得る fact14: このオートポイエーシス・システムは終了出来るということはないなら「溺れるしそれに一Ａでない」ということは嘘だ fact15: もしもこのオートポイエーシス・システムは得易いということはないならば「ぱさぱさしないしさらに溺れない」ということは偽だ fact16: 「このオートポイエーシス・システムはぱさぱさするけれどそれは溺れない」ということは成り立たない fact17: もしも何かは一Ａでないとしたらそれは得易くてさらに運べる fact18: もし仮にこのオートポイエーシス・システムは得易くて加えて役立ち得るとすればそれは運べない fact19: このオートポイエーシス・システムは得易くないとすると「それはぱさぱさするし加えて溺れない」ということは成り立たない
void -> assump1: 以下のように仮定する。このオートポイエーシス・システムは得易い; assump1 & fact2 -> int1: このオートポイエーシス・システムは得易くて役立ち得る; int1 & fact18 -> int2: このオートポイエーシス・システムは運べない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このオートポイエーシス・システムは得易いということはない」ということは成り立つ; int4 & fact15 -> hypothesis;
このオートポイエーシス・システムはぱさぱさしないしそれにそれは溺れない
fact25 & fact22 -> int5: 「その教育訓練投資はぱさぱさする一方で損益通算しない」ということは嘘である; fact23 & int5 -> int6: このオートポイエーシス・システムはぱさぱさしない; fact26 -> int7: 仮にこの雇用構造が一Ａだということはないとするとそれは得易いしそれに運べる; fact20 -> int8: もしこの雇用構造はアスワンハイダムであるならばナインであるということはなくて一Ａでない;
$facts$ = fact1: もしも「その教育訓練投資はぱさぱさする一方で損益通算しない」ということは嘘であるとすればあのオートポイエーシス・システムはぱさぱさしない fact2: このオートポイエーシス・システムは役立ち得る fact3: あの孫達は終了出来ない fact4: 「このオートポイエーシス・システムが運べないし恨みはましくらない」ということは成り立たない fact5: 「この小言は役立ち得るかあるいは溺れるか両方ともである」ということは成り立たないとしたらこのオートポイエーシス・システムは溺れるということはない fact6: このオートポイエーシス・システムは運べる fact7: 仮に「この雇用構造は得易いしおまけに運べる」ということは本当であるとしたらあの観察期間は得易くない fact8: あのＥ・アクセスは役立ち得る fact9: あの孫達は終了出来ないとすれば「その教育訓練投資はぱさぱさする一方で損益通算しない」ということは嘘である fact10: このオートポイエーシス・システムは終了出来ない fact11: アスワンハイダムはナインでないし一Ａでない fact12: この組合幹部は運べる fact13: その特別代議員は役立ち得る fact14: このオートポイエーシス・システムは終了出来るということはないなら「溺れるしそれに一Ａでない」ということは嘘だ fact15: もしもこのオートポイエーシス・システムは得易いということはないならば「ぱさぱさしないしさらに溺れない」ということは偽だ fact16: 「このオートポイエーシス・システムはぱさぱさするけれどそれは溺れない」ということは成り立たない fact17: もしも何かは一Ａでないとしたらそれは得易くてさらに運べる fact18: もし仮にこのオートポイエーシス・システムは得易くて加えて役立ち得るとすればそれは運べない fact19: このオートポイエーシス・システムは得易くないとすると「それはぱさぱさするし加えて溺れない」ということは成り立たない ; $hypothesis$ = このオートポイエーシス・システムはぱさぱさしないし更に溺れない ; $proof$ = 
void -> assump1: 以下のように仮定する。このオートポイエーシス・システムは得易い; assump1 & fact2 -> int1: このオートポイエーシス・システムは得易くて役立ち得る; int1 & fact18 -> int2: このオートポイエーシス・システムは運べない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このオートポイエーシス・システムは得易いということはない」ということは成り立つ; int4 & fact15 -> hypothesis; __DISPROVED__
事実1: もしも「その教育訓練投資はぱさぱさする一方で損益通算しない」ということは嘘であるとすればあのオートポイエーシス・システムはぱさぱさしない
事実2: このオートポイエーシス・システムは役立ち得る
事実3: あの孫達は終了出来ない
事実4: 「このオートポイエーシス・システムが運べないし恨みはましくらない」ということは成り立たない
事実5: 「この小言は役立ち得るかあるいは溺れるか両方ともである」ということは成り立たないとしたらこのオートポイエーシス・システムは溺れるということはない
事実6: このオートポイエーシス・システムは運べる
事実7: 仮に「この雇用構造は得易いしおまけに運べる」ということは本当であるとしたらあの観察期間は得易くない
事実8: あのＥ・アクセスは役立ち得る
事実9: あの孫達は終了出来ないとすれば「その教育訓練投資はぱさぱさする一方で損益通算しない」ということは嘘である
事実10: このオートポイエーシス・システムは終了出来ない
事実11: アスワンハイダムはナインでないし一Ａでない
事実12: この組合幹部は運べる
事実13: その特別代議員は役立ち得る
事実14: このオートポイエーシス・システムは終了出来るということはないなら「溺れるしそれに一Ａでない」ということは嘘だ
事実15: もしもこのオートポイエーシス・システムは得易いということはないならば「ぱさぱさしないしさらに溺れない」ということは偽だ
事実16: 「このオートポイエーシス・システムはぱさぱさするけれどそれは溺れない」ということは成り立たない
事実17: もしも何かは一Ａでないとしたらそれは得易くてさらに運べる
事実18: もし仮にこのオートポイエーシス・システムは得易くて加えて役立ち得るとすればそれは運べない
事実19: このオートポイエーシス・システムは得易くないとすると「それはぱさぱさするし加えて溺れない」ということは成り立たない

仮説: このオートポイエーシス・システムはぱさぱさしないし更に溺れない
1. 仮定1: 以下のように仮定する。このオートポイエーシス・システムは得易い
2. 仮定1と事実2から、推論1: "このオートポイエーシス・システムは得易くて役立ち得る"が導かれる
3. 推論1と事実18から、推論2: "このオートポイエーシス・システムは運べない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このオートポイエーシス・システムは得易いということはない」ということは成り立つ"が導かれる
6. 推論4と事実15から、仮説が否定される

よって、仮説が否定されました。