「もし回し始めれば咄嗟であるということはない」ものはある
fact1: この受託企業は咄嗟である fact2: 「国内事情は通院しない」ということは真実である fact3: あの非営利団体は疎外する fact4: 「あの観は咄嗟だ」ということは本当である fact5: あの非営利団体は真白い fact6: 飲み難い物が見え始めるとすれば漢方薬だ fact7: 仮に何らかの物は回し始めるし更に真白いとするとそれは咄嗟でない fact8: 「もしもあの引退後が発動出来るししかも咄嗟ならあの引退後は容易くない」ということは正しい fact9: 「もし粉篩であるとすれば寛平御記である」物はある
void -> assump1: 以下のように仮定する。あの非営利団体は回し始める; assump1 & fact5 -> int1: あの非営利団体は回し始めるしさらに真白い; fact7 -> int2: 仮にあの非営利団体は回し始めるしまた真白いとしたら咄嗟であるということはない; int1 & int2 -> int3: あの非営利団体は咄嗟でない; [assump1] & int3 -> int4: 仮にあの非営利団体が回し始めるならそれは咄嗟でない; int4 -> hypothesis;
「もし仮に国内事情であるとしたら通院しない」ものはある
fact10 -> int5: もし仮にあの非営利団体が国内事情ならばそれは通院しない; int5 -> hypothesis;
$facts$ = fact1: この受託企業は咄嗟である fact2: 「国内事情は通院しない」ということは真実である fact3: あの非営利団体は疎外する fact4: 「あの観は咄嗟だ」ということは本当である fact5: あの非営利団体は真白い fact6: 飲み難い物が見え始めるとすれば漢方薬だ fact7: 仮に何らかの物は回し始めるし更に真白いとするとそれは咄嗟でない fact8: 「もしもあの引退後が発動出来るししかも咄嗟ならあの引退後は容易くない」ということは正しい fact9: 「もし粉篩であるとすれば寛平御記である」物はある ; $hypothesis$ = 「もし回し始めれば咄嗟であるということはない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの非営利団体は回し始める; assump1 & fact5 -> int1: あの非営利団体は回し始めるしさらに真白い; fact7 -> int2: 仮にあの非営利団体は回し始めるしまた真白いとしたら咄嗟であるということはない; int1 & int2 -> int3: あの非営利団体は咄嗟でない; [assump1] & int3 -> int4: 仮にあの非営利団体が回し始めるならそれは咄嗟でない; int4 -> hypothesis; __PROVED__
事実1: この受託企業は咄嗟である
事実2: 「国内事情は通院しない」ということは真実である
事実3: あの非営利団体は疎外する
事実4: 「あの観は咄嗟だ」ということは本当である
事実5: あの非営利団体は真白い
事実6: 飲み難い物が見え始めるとすれば漢方薬だ
事実7: 仮に何らかの物は回し始めるし更に真白いとするとそれは咄嗟でない
事実8: 「もしもあの引退後が発動出来るししかも咄嗟ならあの引退後は容易くない」ということは正しい
事実9: 「もし粉篩であるとすれば寛平御記である」物はある

仮説: 「もし回し始めれば咄嗟であるということはない」ものはある
1. 仮定1: 以下のように仮定する。あの非営利団体は回し始める
2. 仮定1と事実5から、推論1: "あの非営利団体は回し始めるしさらに真白い"が導かれる
3. 事実7から、推論2: "仮にあの非営利団体は回し始めるしまた真白いとしたら咄嗟であるということはない"が導かれる
4. 推論1と推論2から、推論3: "あの非営利団体は咄嗟でない"が導かれる
5. [仮定1]と推論3から、推論4: "仮にあの非営利団体が回し始めるならそれは咄嗟でない"が導かれる
6. 推論4から、仮説が導かれる

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