「「もし気付き易いならファイアな」ものはある」ということは成り立たない
fact1: あの再生力は吠え捲る fact2: 物質宇宙は仲間らしい fact3: もし仮になんらかのものは二十五度以上でないならば「それはファイアで生存出来ない」ということは偽である fact4: この薬剤管理指導記録は過剰発現する fact5: 慈悲深い物は計測方法だ fact6: 秀はファイアだ fact7: 仮に何かは過剰発現するし加えて常設するとしたらそれは二十五度以上でない fact8: この薬剤管理指導記録がドリップするとすると満載する fact9: もしもこの薬剤管理指導記録が秀でないとしたらそれは気付き易くて暑い fact10: もし仮にこの薬剤管理指導記録は気付き易いなら「それは秀だ」ということは正しい
void -> assump1: 以下のように仮定する。この薬剤管理指導記録は気付き易い; fact10 & assump1 -> int1: この薬剤管理指導記録は秀だ; fact6 -> int2: もしこの薬剤管理指導記録が秀だとするとファイアだ; int1 & int2 -> int3: この薬剤管理指導記録はファイアだ; [assump1] & int3 -> int4: もしこの薬剤管理指導記録が気付き易いならそれはファイアだ; int4 -> hypothesis;
この薬剤管理指導記録は暑い
fact13 -> int5: 仮にこの薬剤管理指導記録は二十五度以上であるということはないとすれば「それはファイアだ一方で生存出来ない」ということは誤っている; fact14 -> int6: 仮にこの薬剤管理指導記録が過剰発現するし常設するとしたらそれは二十五度以上でない;
$facts$ = fact1: あの再生力は吠え捲る fact2: 物質宇宙は仲間らしい fact3: もし仮になんらかのものは二十五度以上でないならば「それはファイアで生存出来ない」ということは偽である fact4: この薬剤管理指導記録は過剰発現する fact5: 慈悲深い物は計測方法だ fact6: 秀はファイアだ fact7: 仮に何かは過剰発現するし加えて常設するとしたらそれは二十五度以上でない fact8: この薬剤管理指導記録がドリップするとすると満載する fact9: もしもこの薬剤管理指導記録が秀でないとしたらそれは気付き易くて暑い fact10: もし仮にこの薬剤管理指導記録は気付き易いなら「それは秀だ」ということは正しい ; $hypothesis$ = 「「もし気付き易いならファイアな」ものはある」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この薬剤管理指導記録は気付き易い; fact10 & assump1 -> int1: この薬剤管理指導記録は秀だ; fact6 -> int2: もしこの薬剤管理指導記録が秀だとするとファイアだ; int1 & int2 -> int3: この薬剤管理指導記録はファイアだ; [assump1] & int3 -> int4: もしこの薬剤管理指導記録が気付き易いならそれはファイアだ; int4 -> hypothesis; __DISPROVED__
事実1: あの再生力は吠え捲る
事実2: 物質宇宙は仲間らしい
事実3: もし仮になんらかのものは二十五度以上でないならば「それはファイアで生存出来ない」ということは偽である
事実4: この薬剤管理指導記録は過剰発現する
事実5: 慈悲深い物は計測方法だ
事実6: 秀はファイアだ
事実7: 仮に何かは過剰発現するし加えて常設するとしたらそれは二十五度以上でない
事実8: この薬剤管理指導記録がドリップするとすると満載する
事実9: もしもこの薬剤管理指導記録が秀でないとしたらそれは気付き易くて暑い
事実10: もし仮にこの薬剤管理指導記録は気付き易いなら「それは秀だ」ということは正しい

仮説: 「「もし気付き易いならファイアな」ものはある」ということは成り立たない
1. 仮定1: 以下のように仮定する。この薬剤管理指導記録は気付き易い
2. 事実10と仮定1から、推論1: "この薬剤管理指導記録は秀だ"が導かれる
3. 事実6から、推論2: "もしこの薬剤管理指導記録が秀だとするとファイアだ"が導かれる
4. 推論1と推論2から、推論3: "この薬剤管理指導記録はファイアだ"が導かれる
5. [仮定1]と推論3から、推論4: "もしこの薬剤管理指導記録が気付き易いならそれはファイアだ"が導かれる
6. 推論4から、仮説が否定される

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