この膠原線維は高級レストランでない
fact1: 「仮にあのサマージャンボが樹間でまたフラバンジェノールであるとすればあの必至はフェードアウトしない」ということは間違っているということはない fact2: あのサマージャンボは高級レストランでない fact3: この訪問入浴介護は微分する fact4: もしも何らかの物が微分しないとしたら御美しくない fact5: 仮にこの必至がフェードアウトしないししかも御美しいということはないならばこの膠原線維は高級レストランである fact6: 仮にあるものが微分しないとしたらそれは樹間でないしまたそれはフラバンジェノールだ fact7: 仮にそのラウル・リゲルがフラバンジェノールでない一方で言い難いとしたらあのサマージャンボはフラバンジェノールだ fact8: もしもこの必至はフェードアウトするとすると「それは微分する」ということは成り立つ fact9: この必至は御美しいということはない fact10: 仮にとある物が引き会わせらないならそれは迷い易くない fact11: もしも「そのＭ四カービンは微分する」ということは真実であるとするとあのサマージャンボは微分する fact12: 「そのラウル・リゲルは微分するしフェードアウトする」ということは事実と異なるとしたらこの必至は微分しない fact13: もし御美しいということはないものは高級レストランであるならばフェードアウトする fact14: なんらかの物が樹間だということはないならば微分しない fact15: 仮に「そのラウル・リゲルは臆するけどそれは病症でない」ということは事実と異なるとすると伝え易くない fact16: 伝え易くないものはフラバンジェノールであるということはないけど言い難い fact17: 仮に「そのラウル・リゲルはフェードアウトするがしかしそれは臆しない」ということは成り立たないとすると高級レストランでない fact18: 仮に「この必至は言い難いしかつそれは御美しい」ということは確かだとするとそのラウル・リゲルはフェードアウトしない fact19: そのＭ四カービンは微分する fact20: 「そのラウル・リゲルは臆するがしかしそれは病症でない」ということは誤りである fact21: もし仮に「そのラウル・リゲルは微分しないけれどフラバンジェノールである」ということは成り立つとすれば「あのサマージャンボは微分する」ということは成り立つ
fact14 -> int1: 仮にあのサマージャンボは樹間でないなら微分しない; void -> assump1: 以下のように仮定する。あのサマージャンボは樹間でない; int1 & assump1 -> int2: あのサマージャンボは微分しない; fact11 & fact19 -> int3: あのサマージャンボは微分する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのサマージャンボは樹間だ; fact20 & fact15 -> int6: そのラウル・リゲルは伝え易くない; fact16 -> int7: そのラウル・リゲルが伝え易くないならばフラバンジェノールだということはなくて更にそれは言い難い; int6 & int7 -> int8: そのラウル・リゲルはフラバンジェノールだということはないけれどそれは言い難い; int8 & fact7 -> int9: あのサマージャンボはフラバンジェノールである; int5 & int9 -> int10: あのサマージャンボは樹間だしそれにフラバンジェノールだ; int10 & fact1 -> int11: この必至はフェードアウトしない; int11 & fact9 -> int12: この必至はフェードアウトしなくて御美しくない; int12 & fact5 -> hypothesis;
この膠原線維は高級レストランでない
fact23 -> int13: この必至が微分しないならば樹間でないけどフラバンジェノールだ;
$facts$ = fact1: 「仮にあのサマージャンボが樹間でまたフラバンジェノールであるとすればあの必至はフェードアウトしない」ということは間違っているということはない fact2: あのサマージャンボは高級レストランでない fact3: この訪問入浴介護は微分する fact4: もしも何らかの物が微分しないとしたら御美しくない fact5: 仮にこの必至がフェードアウトしないししかも御美しいということはないならばこの膠原線維は高級レストランである fact6: 仮にあるものが微分しないとしたらそれは樹間でないしまたそれはフラバンジェノールだ fact7: 仮にそのラウル・リゲルがフラバンジェノールでない一方で言い難いとしたらあのサマージャンボはフラバンジェノールだ fact8: もしもこの必至はフェードアウトするとすると「それは微分する」ということは成り立つ fact9: この必至は御美しいということはない fact10: 仮にとある物が引き会わせらないならそれは迷い易くない fact11: もしも「そのＭ四カービンは微分する」ということは真実であるとするとあのサマージャンボは微分する fact12: 「そのラウル・リゲルは微分するしフェードアウトする」ということは事実と異なるとしたらこの必至は微分しない fact13: もし御美しいということはないものは高級レストランであるならばフェードアウトする fact14: なんらかの物が樹間だということはないならば微分しない fact15: 仮に「そのラウル・リゲルは臆するけどそれは病症でない」ということは事実と異なるとすると伝え易くない fact16: 伝え易くないものはフラバンジェノールであるということはないけど言い難い fact17: 仮に「そのラウル・リゲルはフェードアウトするがしかしそれは臆しない」ということは成り立たないとすると高級レストランでない fact18: 仮に「この必至は言い難いしかつそれは御美しい」ということは確かだとするとそのラウル・リゲルはフェードアウトしない fact19: そのＭ四カービンは微分する fact20: 「そのラウル・リゲルは臆するがしかしそれは病症でない」ということは誤りである fact21: もし仮に「そのラウル・リゲルは微分しないけれどフラバンジェノールである」ということは成り立つとすれば「あのサマージャンボは微分する」ということは成り立つ ; $hypothesis$ = この膠原線維は高級レストランでない ; $proof$ = 
fact14 -> int1: 仮にあのサマージャンボは樹間でないなら微分しない; void -> assump1: 以下のように仮定する。あのサマージャンボは樹間でない; int1 & assump1 -> int2: あのサマージャンボは微分しない; fact11 & fact19 -> int3: あのサマージャンボは微分する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのサマージャンボは樹間だ; fact20 & fact15 -> int6: そのラウル・リゲルは伝え易くない; fact16 -> int7: そのラウル・リゲルが伝え易くないならばフラバンジェノールだということはなくて更にそれは言い難い; int6 & int7 -> int8: そのラウル・リゲルはフラバンジェノールだということはないけれどそれは言い難い; int8 & fact7 -> int9: あのサマージャンボはフラバンジェノールである; int5 & int9 -> int10: あのサマージャンボは樹間だしそれにフラバンジェノールだ; int10 & fact1 -> int11: この必至はフェードアウトしない; int11 & fact9 -> int12: この必至はフェードアウトしなくて御美しくない; int12 & fact5 -> hypothesis; __DISPROVED__
事実1: 「仮にあのサマージャンボが樹間でまたフラバンジェノールであるとすればあの必至はフェードアウトしない」ということは間違っているということはない
事実2: あのサマージャンボは高級レストランでない
事実3: この訪問入浴介護は微分する
事実4: もしも何らかの物が微分しないとしたら御美しくない
事実5: 仮にこの必至がフェードアウトしないししかも御美しいということはないならばこの膠原線維は高級レストランである
事実6: 仮にあるものが微分しないとしたらそれは樹間でないしまたそれはフラバンジェノールだ
事実7: 仮にそのラウル・リゲルがフラバンジェノールでない一方で言い難いとしたらあのサマージャンボはフラバンジェノールだ
事実8: もしもこの必至はフェードアウトするとすると「それは微分する」ということは成り立つ
事実9: この必至は御美しいということはない
事実10: 仮にとある物が引き会わせらないならそれは迷い易くない
事実11: もしも「そのＭ四カービンは微分する」ということは真実であるとするとあのサマージャンボは微分する
事実12: 「そのラウル・リゲルは微分するしフェードアウトする」ということは事実と異なるとしたらこの必至は微分しない
事実13: もし御美しいということはないものは高級レストランであるならばフェードアウトする
事実14: なんらかの物が樹間だということはないならば微分しない
事実15: 仮に「そのラウル・リゲルは臆するけどそれは病症でない」ということは事実と異なるとすると伝え易くない
事実16: 伝え易くないものはフラバンジェノールであるということはないけど言い難い
事実17: 仮に「そのラウル・リゲルはフェードアウトするがしかしそれは臆しない」ということは成り立たないとすると高級レストランでない
事実18: 仮に「この必至は言い難いしかつそれは御美しい」ということは確かだとするとそのラウル・リゲルはフェードアウトしない
事実19: そのＭ四カービンは微分する
事実20: 「そのラウル・リゲルは臆するがしかしそれは病症でない」ということは誤りである
事実21: もし仮に「そのラウル・リゲルは微分しないけれどフラバンジェノールである」ということは成り立つとすれば「あのサマージャンボは微分する」ということは成り立つ

仮説: この膠原線維は高級レストランでない
1. 事実14から、推論1: "仮にあのサマージャンボは樹間でないなら微分しない"が導かれる
2. 仮定1: 以下のように仮定する。あのサマージャンボは樹間でない
3. 推論1と仮定1から、推論2: "あのサマージャンボは微分しない"が導かれる
4. 事実11と事実19から、推論3: "あのサマージャンボは微分する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのサマージャンボは樹間だ"が導かれる
7. 事実20と事実15から、推論6: "そのラウル・リゲルは伝え易くない"が導かれる
8. 事実16から、推論7: "そのラウル・リゲルが伝え易くないならばフラバンジェノールだということはなくて更にそれは言い難い"が導かれる
9. 推論6と推論7から、推論8: "そのラウル・リゲルはフラバンジェノールだということはないけれどそれは言い難い"が導かれる
10. 推論8と事実7から、推論9: "あのサマージャンボはフラバンジェノールである"が導かれる
11. 推論5と推論9から、推論10: "あのサマージャンボは樹間だしそれにフラバンジェノールだ"が導かれる
12. 推論10と事実1から、推論11: "この必至はフェードアウトしない"が導かれる
13. 推論11と事実9から、推論12: "この必至はフェードアウトしなくて御美しくない"が導かれる
14. 推論12と事実5から、仮説が否定される

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