そのバオバブは乾燥剤だ
fact1: もし「あの浮き世草子は生存権だがしかし打ち上がり易いということはない」ということは間違っているとしたらあの作戦は手強くない fact2: この設計ビューは乾燥剤である fact3: 「あの雲泥は自分らしいということはない」ということは成り立つ fact4: 「この設計ビューは自分らしいけどそれは乾燥剤でない」ということは間違っている fact5: あのマクロウイルスはトリップする fact6: もしあのマクロウイルスはトリップするなら「「それは如才無くないものでありしかもブランド・プロミスである」ということは正しい」ということは真実でない fact7: この設計ビューは呼び易いが自分らしくない fact8: もし仮にそのバオバブは乾燥剤だとすると「この設計ビューは呼び易くておまけに自分らしい」ということは偽である fact9: 仮に「この設計ビューは自分らしい」ということは確かであるとしたら「そのバオバブは乾燥剤だがしかしそれは呼び易くない」ということは誤りだ fact10: もし仮にそのバオバブは乾燥剤ならば「この設計ビューは呼び易いがそれは自分らしくない」ということは成り立たない fact11: この設計ビューは自分らしくない fact12: 仮になんらかのものが書き記すということはないならば乾燥剤だし加えてＯＨ基である fact13: もしも「あのマクロウイルスは如才無くないがブランド・プロミスだ」ということは間違っているとすれば「あの浮き世草子は如才無い」ということは本当だ fact14: この設計ビューは乾燥剤だが自分らしくない fact15: 「この設計ビューは呼び易くて加えてそれは自分らしい」ということは事実と異なる fact16: 「そのバオバブは乾燥剤であるけれど自分らしくない」ということは嘘である fact17: この設計ビューは浅ましが同生するということはない fact18: なんらかのものは如才無いとしたら「それは生存権であるけど打ち上がり易くない」ということは本当でない
void -> assump1: 以下のように仮定する。そのバオバブは乾燥剤だ; fact10 & assump1 -> int1: 「この設計ビューは呼び易いけれど自分らしくない」ということは成り立たない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
そのバオバブは乾燥剤である
fact21 -> int3: そのバオバブが書き記さないとしたら乾燥剤であるしＯＨ基だ; fact23 -> int4: 仮にあの浮き世草子は如才無いとしたら「生存権であるし更にそれは打ち上がり易くない」ということは誤っている; fact20 & fact24 -> int5: 「あのマクロウイルスは如才無くない一方でブランド・プロミスである」ということは成り立たない; fact19 & int5 -> int6: あの浮き世草子は如才無い; int4 & int6 -> int7: 「あの浮き世草子は生存権であるけれど打ち上がり易くない」ということは成り立つということはない; fact22 & int7 -> int8: あの作戦は手強くない; int8 -> int9: 「手強くない」物はある;
$facts$ = fact1: もし「あの浮き世草子は生存権だがしかし打ち上がり易いということはない」ということは間違っているとしたらあの作戦は手強くない fact2: この設計ビューは乾燥剤である fact3: 「あの雲泥は自分らしいということはない」ということは成り立つ fact4: 「この設計ビューは自分らしいけどそれは乾燥剤でない」ということは間違っている fact5: あのマクロウイルスはトリップする fact6: もしあのマクロウイルスはトリップするなら「「それは如才無くないものでありしかもブランド・プロミスである」ということは正しい」ということは真実でない fact7: この設計ビューは呼び易いが自分らしくない fact8: もし仮にそのバオバブは乾燥剤だとすると「この設計ビューは呼び易くておまけに自分らしい」ということは偽である fact9: 仮に「この設計ビューは自分らしい」ということは確かであるとしたら「そのバオバブは乾燥剤だがしかしそれは呼び易くない」ということは誤りだ fact10: もし仮にそのバオバブは乾燥剤ならば「この設計ビューは呼び易いがそれは自分らしくない」ということは成り立たない fact11: この設計ビューは自分らしくない fact12: 仮になんらかのものが書き記すということはないならば乾燥剤だし加えてＯＨ基である fact13: もしも「あのマクロウイルスは如才無くないがブランド・プロミスだ」ということは間違っているとすれば「あの浮き世草子は如才無い」ということは本当だ fact14: この設計ビューは乾燥剤だが自分らしくない fact15: 「この設計ビューは呼び易くて加えてそれは自分らしい」ということは事実と異なる fact16: 「そのバオバブは乾燥剤であるけれど自分らしくない」ということは嘘である fact17: この設計ビューは浅ましが同生するということはない fact18: なんらかのものは如才無いとしたら「それは生存権であるけど打ち上がり易くない」ということは本当でない ; $hypothesis$ = そのバオバブは乾燥剤だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのバオバブは乾燥剤だ; fact10 & assump1 -> int1: 「この設計ビューは呼び易いけれど自分らしくない」ということは成り立たない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もし「あの浮き世草子は生存権だがしかし打ち上がり易いということはない」ということは間違っているとしたらあの作戦は手強くない
事実2: この設計ビューは乾燥剤である
事実3: 「あの雲泥は自分らしいということはない」ということは成り立つ
事実4: 「この設計ビューは自分らしいけどそれは乾燥剤でない」ということは間違っている
事実5: あのマクロウイルスはトリップする
事実6: もしあのマクロウイルスはトリップするなら「「それは如才無くないものでありしかもブランド・プロミスである」ということは正しい」ということは真実でない
事実7: この設計ビューは呼び易いが自分らしくない
事実8: もし仮にそのバオバブは乾燥剤だとすると「この設計ビューは呼び易くておまけに自分らしい」ということは偽である
事実9: 仮に「この設計ビューは自分らしい」ということは確かであるとしたら「そのバオバブは乾燥剤だがしかしそれは呼び易くない」ということは誤りだ
事実10: もし仮にそのバオバブは乾燥剤ならば「この設計ビューは呼び易いがそれは自分らしくない」ということは成り立たない
事実11: この設計ビューは自分らしくない
事実12: 仮になんらかのものが書き記すということはないならば乾燥剤だし加えてＯＨ基である
事実13: もしも「あのマクロウイルスは如才無くないがブランド・プロミスだ」ということは間違っているとすれば「あの浮き世草子は如才無い」ということは本当だ
事実14: この設計ビューは乾燥剤だが自分らしくない
事実15: 「この設計ビューは呼び易くて加えてそれは自分らしい」ということは事実と異なる
事実16: 「そのバオバブは乾燥剤であるけれど自分らしくない」ということは嘘である
事実17: この設計ビューは浅ましが同生するということはない
事実18: なんらかのものは如才無いとしたら「それは生存権であるけど打ち上がり易くない」ということは本当でない

仮説: そのバオバブは乾燥剤だ
1. 仮定1: 以下のように仮定する。そのバオバブは乾燥剤だ
2. 事実10と仮定1から、推論1: "「この設計ビューは呼び易いけれど自分らしくない」ということは成り立たない"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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