あの付加はへらへらする
fact1: もし仮に「あのダンフォースは戻し入れであるけれどそれは冬空でない」ということは間違いだとしたらあの共済規程は店長さんでない fact2: 仮にあのダンフォースが冬空であるとしたらあの共済規程は店長さんでない fact3: もしも「この重症患者は上昇し易いがしかし対象外でない」ということは成り立つとすればそれは御寂しくない fact4: あの共済規程は店長さんだ fact5: もし仮に何かは店長さんだとするとそれはへらへらする fact6: なにがしかの物が御寂しくないとすればそれは店長さんであるしへらへらする fact7: もしあの付加はへらへらすれば「あのダンフォースは戻し入れだけど冬空であるということはない」ということは偽である
void -> assump1: 以下のように仮定する。あの付加はへらへらする; fact7 & assump1 -> int1: 「あのダンフォースは戻し入れであるが冬空でない」ということは間違っている; int1 & fact1 -> int2: あの共済規程は店長さんだということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この重症患者は店長さんだ
fact9 -> int4: もし仮にこの重症患者が御寂しくないとすると店長さんであるしへらへらする;
$facts$ = fact1: もし仮に「あのダンフォースは戻し入れであるけれどそれは冬空でない」ということは間違いだとしたらあの共済規程は店長さんでない fact2: 仮にあのダンフォースが冬空であるとしたらあの共済規程は店長さんでない fact3: もしも「この重症患者は上昇し易いがしかし対象外でない」ということは成り立つとすればそれは御寂しくない fact4: あの共済規程は店長さんだ fact5: もし仮に何かは店長さんだとするとそれはへらへらする fact6: なにがしかの物が御寂しくないとすればそれは店長さんであるしへらへらする fact7: もしあの付加はへらへらすれば「あのダンフォースは戻し入れだけど冬空であるということはない」ということは偽である ; $hypothesis$ = あの付加はへらへらする ; $proof$ = 
void -> assump1: 以下のように仮定する。あの付加はへらへらする; fact7 & assump1 -> int1: 「あのダンフォースは戻し入れであるが冬空でない」ということは間違っている; int1 & fact1 -> int2: あの共済規程は店長さんだということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に「あのダンフォースは戻し入れであるけれどそれは冬空でない」ということは間違いだとしたらあの共済規程は店長さんでない
事実2: 仮にあのダンフォースが冬空であるとしたらあの共済規程は店長さんでない
事実3: もしも「この重症患者は上昇し易いがしかし対象外でない」ということは成り立つとすればそれは御寂しくない
事実4: あの共済規程は店長さんだ
事実5: もし仮に何かは店長さんだとするとそれはへらへらする
事実6: なにがしかの物が御寂しくないとすればそれは店長さんであるしへらへらする
事実7: もしあの付加はへらへらすれば「あのダンフォースは戻し入れだけど冬空であるということはない」ということは偽である

仮説: あの付加はへらへらする
1. 仮定1: 以下のように仮定する。あの付加はへらへらする
2. 事実7と仮定1から、推論1: "「あのダンフォースは戻し入れであるが冬空でない」ということは間違っている"が導かれる
3. 推論1と事実1から、推論2: "あの共済規程は店長さんだということはない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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