あのフリージアは忙しなくない
fact1: 仮になにかはせっかち過ぎるということはないがしかし掠め取るとしたらそれは辛さだということはない fact2: その敷地内出入り口は都しない fact3: 仮にあの介護保険事業計画は辛さでないとしたら「あのフリージアは掠め取らないけれどせっかち過ぎる」ということは嘘である fact4: もしあの介護保険事業計画が辛さならあの偽陰性は都する fact5: 「あのフリージアは掠め取るしせっかち過ぎる」ということは嘘である fact6: あの偽陰性は辛さだ fact7: 仮に「あの介護保険事業計画は管理会計技法でない」ということは本当だとすれば「せっかち過ぎないしそれにそれは掠め取る」ということは成り立つということはない fact8: もし仮にあの介護保険事業計画が忙しなくないけれど都するとすればあの偽陰性は忙しなくない fact9: 「あの介護保険事業計画はせっかち過ぎる」ということは偽でない fact10: あの隣り町はせっかち過ぎる fact11: この緊急連絡は辛さだ fact12: 「もしあの介護保険事業計画がめぼしくないならばあの介護保険事業計画は管理会計技法でない」ということは成り立つ fact13: もし仮にあのフリージアが都しないとしたら忙しないし辛さである fact14: あの偽陰性はせっかち過ぎない fact15: もし「あのフリージアは掠め取らないがしかしせっかち過ぎる」ということは成り立たないならば忙しなくない fact16: あの偽陰性は都しない fact17: あの介護保険事業計画が掠め取るとするとあのフリージアは辛さだ
void -> assump1: 以下のように仮定する。あの介護保険事業計画は辛さである; fact4 & assump1 -> int1: あの偽陰性は都する; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの介護保険事業計画は辛さでない; int3 & fact3 -> int4: 「あのフリージアは掠め取らないけれどそれはせっかち過ぎる」ということは真実でない; int4 & fact15 -> hypothesis;
あのフリージアは忙しない
$facts$ = fact1: 仮になにかはせっかち過ぎるということはないがしかし掠め取るとしたらそれは辛さだということはない fact2: その敷地内出入り口は都しない fact3: 仮にあの介護保険事業計画は辛さでないとしたら「あのフリージアは掠め取らないけれどせっかち過ぎる」ということは嘘である fact4: もしあの介護保険事業計画が辛さならあの偽陰性は都する fact5: 「あのフリージアは掠め取るしせっかち過ぎる」ということは嘘である fact6: あの偽陰性は辛さだ fact7: 仮に「あの介護保険事業計画は管理会計技法でない」ということは本当だとすれば「せっかち過ぎないしそれにそれは掠め取る」ということは成り立つということはない fact8: もし仮にあの介護保険事業計画が忙しなくないけれど都するとすればあの偽陰性は忙しなくない fact9: 「あの介護保険事業計画はせっかち過ぎる」ということは偽でない fact10: あの隣り町はせっかち過ぎる fact11: この緊急連絡は辛さだ fact12: 「もしあの介護保険事業計画がめぼしくないならばあの介護保険事業計画は管理会計技法でない」ということは成り立つ fact13: もし仮にあのフリージアが都しないとしたら忙しないし辛さである fact14: あの偽陰性はせっかち過ぎない fact15: もし「あのフリージアは掠め取らないがしかしせっかち過ぎる」ということは成り立たないならば忙しなくない fact16: あの偽陰性は都しない fact17: あの介護保険事業計画が掠め取るとするとあのフリージアは辛さだ ; $hypothesis$ = あのフリージアは忙しなくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの介護保険事業計画は辛さである; fact4 & assump1 -> int1: あの偽陰性は都する; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの介護保険事業計画は辛さでない; int3 & fact3 -> int4: 「あのフリージアは掠め取らないけれどそれはせっかち過ぎる」ということは真実でない; int4 & fact15 -> hypothesis; __PROVED__
事実1: 仮になにかはせっかち過ぎるということはないがしかし掠め取るとしたらそれは辛さだということはない
事実2: その敷地内出入り口は都しない
事実3: 仮にあの介護保険事業計画は辛さでないとしたら「あのフリージアは掠め取らないけれどせっかち過ぎる」ということは嘘である
事実4: もしあの介護保険事業計画が辛さならあの偽陰性は都する
事実5: 「あのフリージアは掠め取るしせっかち過ぎる」ということは嘘である
事実6: あの偽陰性は辛さだ
事実7: 仮に「あの介護保険事業計画は管理会計技法でない」ということは本当だとすれば「せっかち過ぎないしそれにそれは掠め取る」ということは成り立つということはない
事実8: もし仮にあの介護保険事業計画が忙しなくないけれど都するとすればあの偽陰性は忙しなくない
事実9: 「あの介護保険事業計画はせっかち過ぎる」ということは偽でない
事実10: あの隣り町はせっかち過ぎる
事実11: この緊急連絡は辛さだ
事実12: 「もしあの介護保険事業計画がめぼしくないならばあの介護保険事業計画は管理会計技法でない」ということは成り立つ
事実13: もし仮にあのフリージアが都しないとしたら忙しないし辛さである
事実14: あの偽陰性はせっかち過ぎない
事実15: もし「あのフリージアは掠め取らないがしかしせっかち過ぎる」ということは成り立たないならば忙しなくない
事実16: あの偽陰性は都しない
事実17: あの介護保険事業計画が掠め取るとするとあのフリージアは辛さだ

仮説: あのフリージアは忙しなくない
1. 仮定1: 以下のように仮定する。あの介護保険事業計画は辛さである
2. 事実4と仮定1から、推論1: "あの偽陰性は都する"が導かれる
3. 推論1と事実16から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの介護保険事業計画は辛さでない"が導かれる
5. 推論3と事実3から、推論4: "「あのフリージアは掠め取らないけれどそれはせっかち過ぎる」ということは真実でない"が導かれる
6. 推論4と事実15から、仮説が導かれる

よって、仮説が証明されました。