この深度計は子宮復古不全でない
fact1: もし仮にあるものが陥落しなくてその上マーキーでないならば分かり易くない fact2: あの住宅取得時は陥落しない fact3: もし仮にこの視床下部が税負担であるとするとこの深度計は子宮復古不全だ fact4: この深度計はボディでないし無礼者でない fact5: 仮にこの深度計が陥落するとすればあの住宅取得時は子宮復古不全である fact6: この視床下部は挟むとすると「この深度計は子宮復古不全である」ということは真実である fact7: もし仮に「なにがしかのものは陥落しないしその上それはマーキーでない」ということは間違っているとするとそれは税負担でない fact8: あの年金法は危なっかしいしまた二サイクルだ fact9: あの住宅取得時が惜しみ無いしその上危なっかしい fact10: あの住宅取得時は惜しみ無い fact11: 「もし仮になんらかのものが危なっかしいとすれば分かり易い」ということは成り立つ fact12: もしあの住宅取得時が陥落するとするとそれは税負担でない fact13: この視床下部は危なっかしくない fact14: もしもあの住宅取得時は陥落するがマーキーでないとすると分かり易くない fact15: あの住宅取得時が税負担でないとしたらこの視床下部は挟むか税負担だ
fact1 -> int1: 仮にあの住宅取得時は陥落しないしかつマーキーであるということはないとしたらそれは分かり易くない; void -> assump1: 以下のように仮定する。あの住宅取得時は陥落するということはないしさらにマーキーでない; int1 & assump1 -> int2: あの住宅取得時は分かり易くない; fact11 -> int3: 「あの住宅取得時は危なっかしい」ということは真実だとしたらそれは分かり易い; fact9 -> int4: あの住宅取得時は危なっかしい; int3 & int4 -> int5: あの住宅取得時は分かり易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの住宅取得時は陥落しないしまたマーキーでない」ということは嘘である; fact7 -> int8: 仮に「あの住宅取得時が陥落しないしさらにマーキーでない」ということは誤っているなら税負担でない; int7 & int8 -> int9: あの住宅取得時は税負担でない; int9 & fact15 -> int10: この視床下部は挟むかあるいは税負担だ; int10 & fact6 & fact3 -> hypothesis;
この深度計は子宮復古不全でない
$facts$ = fact1: もし仮にあるものが陥落しなくてその上マーキーでないならば分かり易くない fact2: あの住宅取得時は陥落しない fact3: もし仮にこの視床下部が税負担であるとするとこの深度計は子宮復古不全だ fact4: この深度計はボディでないし無礼者でない fact5: 仮にこの深度計が陥落するとすればあの住宅取得時は子宮復古不全である fact6: この視床下部は挟むとすると「この深度計は子宮復古不全である」ということは真実である fact7: もし仮に「なにがしかのものは陥落しないしその上それはマーキーでない」ということは間違っているとするとそれは税負担でない fact8: あの年金法は危なっかしいしまた二サイクルだ fact9: あの住宅取得時が惜しみ無いしその上危なっかしい fact10: あの住宅取得時は惜しみ無い fact11: 「もし仮になんらかのものが危なっかしいとすれば分かり易い」ということは成り立つ fact12: もしあの住宅取得時が陥落するとするとそれは税負担でない fact13: この視床下部は危なっかしくない fact14: もしもあの住宅取得時は陥落するがマーキーでないとすると分かり易くない fact15: あの住宅取得時が税負担でないとしたらこの視床下部は挟むか税負担だ ; $hypothesis$ = この深度計は子宮復古不全でない ; $proof$ = 
fact1 -> int1: 仮にあの住宅取得時は陥落しないしかつマーキーであるということはないとしたらそれは分かり易くない; void -> assump1: 以下のように仮定する。あの住宅取得時は陥落するということはないしさらにマーキーでない; int1 & assump1 -> int2: あの住宅取得時は分かり易くない; fact11 -> int3: 「あの住宅取得時は危なっかしい」ということは真実だとしたらそれは分かり易い; fact9 -> int4: あの住宅取得時は危なっかしい; int3 & int4 -> int5: あの住宅取得時は分かり易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの住宅取得時は陥落しないしまたマーキーでない」ということは嘘である; fact7 -> int8: 仮に「あの住宅取得時が陥落しないしさらにマーキーでない」ということは誤っているなら税負担でない; int7 & int8 -> int9: あの住宅取得時は税負担でない; int9 & fact15 -> int10: この視床下部は挟むかあるいは税負担だ; int10 & fact6 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものが陥落しなくてその上マーキーでないならば分かり易くない
事実2: あの住宅取得時は陥落しない
事実3: もし仮にこの視床下部が税負担であるとするとこの深度計は子宮復古不全だ
事実4: この深度計はボディでないし無礼者でない
事実5: 仮にこの深度計が陥落するとすればあの住宅取得時は子宮復古不全である
事実6: この視床下部は挟むとすると「この深度計は子宮復古不全である」ということは真実である
事実7: もし仮に「なにがしかのものは陥落しないしその上それはマーキーでない」ということは間違っているとするとそれは税負担でない
事実8: あの年金法は危なっかしいしまた二サイクルだ
事実9: あの住宅取得時が惜しみ無いしその上危なっかしい
事実10: あの住宅取得時は惜しみ無い
事実11: 「もし仮になんらかのものが危なっかしいとすれば分かり易い」ということは成り立つ
事実12: もしあの住宅取得時が陥落するとするとそれは税負担でない
事実13: この視床下部は危なっかしくない
事実14: もしもあの住宅取得時は陥落するがマーキーでないとすると分かり易くない
事実15: あの住宅取得時が税負担でないとしたらこの視床下部は挟むか税負担だ

仮説: この深度計は子宮復古不全でない
1. 事実1から、推論1: "仮にあの住宅取得時は陥落しないしかつマーキーであるということはないとしたらそれは分かり易くない"が導かれる
2. 仮定1: 以下のように仮定する。あの住宅取得時は陥落するということはないしさらにマーキーでない
3. 推論1と仮定1から、推論2: "あの住宅取得時は分かり易くない"が導かれる
4. 事実11から、推論3: "「あの住宅取得時は危なっかしい」ということは真実だとしたらそれは分かり易い"が導かれる
5. 事実9から、推論4: "あの住宅取得時は危なっかしい"が導かれる
6. 推論3と推論4から、推論5: "あの住宅取得時は分かり易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの住宅取得時は陥落しないしまたマーキーでない」ということは嘘である"が導かれる
9. 事実7から、推論8: "仮に「あの住宅取得時が陥落しないしさらにマーキーでない」ということは誤っているなら税負担でない"が導かれる
10. 推論7と推論8から、推論9: "あの住宅取得時は税負担でない"が導かれる
11. 推論9と事実15から、推論10: "この視床下部は挟むかあるいは税負担だ"が導かれる
12. 推論10と事実6と事実3から、仮説が否定される

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