もしもあの介助者が御付き合いしないならばこのヘルバルト主義は荒っぽい
fact1: もし仮にこのヘルバルト主義が果てし無いとすればあの介助者は荒っぽい fact2: もしもあの介助者が折半するならあの痴呆対応型老人共同生活介護は廃絶派である fact3: もし何らかのものは廃絶派でないけれど荒っぽいとすれば御付き合いする fact4: あの痴呆対応型老人共同生活介護は荒っぽい fact5: 「何かは不法投棄でないがタガログ語である」ということは成り立つ fact6: もしあの介助者は荒っぽくて御付き合いするとしたら折半する fact7: もしも荒っぽくない物が果てし無いならそれは折半する fact8: もし仮になにがしかの物が御付き合いしないけれど果てし無いとするとそれは折半する fact9: あの痴呆対応型老人共同生活介護が廃絶派であるならばこのヘルバルト主義は荒っぽい fact10: もし仮に何かは不法投棄でないがしかしタガログ語だとしたらあの介助者は果てし無い fact11: このヘルバルト主義は不法投棄である fact12: 何かは不法投棄であるしかつタガログ語である fact13: とあるものが払拭出来るししかも手仕舞うならそれは番狂わせである fact14: あの痴呆対応型老人共同生活介護は折半する
fact5 & fact10 -> int1: あの介助者は果てし無い; void -> assump1: 以下のように仮定する。あの介助者は御付き合いしない; int1 & assump1 -> int2: あの介助者は御付き合いしないが果てし無い; fact8 -> int3: もし仮にあの介助者が御付き合いするということはない一方で果てし無いとするとそれは折半する; int2 & int3 -> int4: あの介助者は折半する; int4 & fact2 -> int5: あの痴呆対応型老人共同生活介護は廃絶派である; int5 & fact9 -> int6: このヘルバルト主義は荒っぽい; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もし仮にこのヘルバルト主義が果てし無いとすればあの介助者は荒っぽい fact2: もしもあの介助者が折半するならあの痴呆対応型老人共同生活介護は廃絶派である fact3: もし何らかのものは廃絶派でないけれど荒っぽいとすれば御付き合いする fact4: あの痴呆対応型老人共同生活介護は荒っぽい fact5: 「何かは不法投棄でないがタガログ語である」ということは成り立つ fact6: もしあの介助者は荒っぽくて御付き合いするとしたら折半する fact7: もしも荒っぽくない物が果てし無いならそれは折半する fact8: もし仮になにがしかの物が御付き合いしないけれど果てし無いとするとそれは折半する fact9: あの痴呆対応型老人共同生活介護が廃絶派であるならばこのヘルバルト主義は荒っぽい fact10: もし仮に何かは不法投棄でないがしかしタガログ語だとしたらあの介助者は果てし無い fact11: このヘルバルト主義は不法投棄である fact12: 何かは不法投棄であるしかつタガログ語である fact13: とあるものが払拭出来るししかも手仕舞うならそれは番狂わせである fact14: あの痴呆対応型老人共同生活介護は折半する ; $hypothesis$ = もしもあの介助者が御付き合いしないならばこのヘルバルト主義は荒っぽい ; $proof$ = 
fact5 & fact10 -> int1: あの介助者は果てし無い; void -> assump1: 以下のように仮定する。あの介助者は御付き合いしない; int1 & assump1 -> int2: あの介助者は御付き合いしないが果てし無い; fact8 -> int3: もし仮にあの介助者が御付き合いするということはない一方で果てし無いとするとそれは折半する; int2 & int3 -> int4: あの介助者は折半する; int4 & fact2 -> int5: あの痴呆対応型老人共同生活介護は廃絶派である; int5 & fact9 -> int6: このヘルバルト主義は荒っぽい; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮にこのヘルバルト主義が果てし無いとすればあの介助者は荒っぽい
事実2: もしもあの介助者が折半するならあの痴呆対応型老人共同生活介護は廃絶派である
事実3: もし何らかのものは廃絶派でないけれど荒っぽいとすれば御付き合いする
事実4: あの痴呆対応型老人共同生活介護は荒っぽい
事実5: 「何かは不法投棄でないがタガログ語である」ということは成り立つ
事実6: もしあの介助者は荒っぽくて御付き合いするとしたら折半する
事実7: もしも荒っぽくない物が果てし無いならそれは折半する
事実8: もし仮になにがしかの物が御付き合いしないけれど果てし無いとするとそれは折半する
事実9: あの痴呆対応型老人共同生活介護が廃絶派であるならばこのヘルバルト主義は荒っぽい
事実10: もし仮に何かは不法投棄でないがしかしタガログ語だとしたらあの介助者は果てし無い
事実11: このヘルバルト主義は不法投棄である
事実12: 何かは不法投棄であるしかつタガログ語である
事実13: とあるものが払拭出来るししかも手仕舞うならそれは番狂わせである
事実14: あの痴呆対応型老人共同生活介護は折半する

仮説: もしもあの介助者が御付き合いしないならばこのヘルバルト主義は荒っぽい
1. 事実5と事実10から、推論1: "あの介助者は果てし無い"が導かれる
2. 仮定1: 以下のように仮定する。あの介助者は御付き合いしない
3. 推論1と仮定1から、推論2: "あの介助者は御付き合いしないが果てし無い"が導かれる
4. 事実8から、推論3: "もし仮にあの介助者が御付き合いするということはない一方で果てし無いとするとそれは折半する"が導かれる
5. 推論2と推論3から、推論4: "あの介助者は折半する"が導かれる
6. 推論4と事実2から、推論5: "あの痴呆対応型老人共同生活介護は廃絶派である"が導かれる
7. 推論5と事実9から、推論6: "このヘルバルト主義は荒っぽい"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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