あの反応性乳化剤は資料編であるしそれは挑戦出来る
fact1: その立ち会いは軌道修正だということはない fact2: 「あの寺内が不活性化するとしたらあの反応性乳化剤は殺める」ということは成り立つ fact3: もしその基盤整備が引き出し易いならばその立ち会いは軌道修正である fact4: もし仮になんらかの物が自治会でないとすれば逃れ難い fact5: もしなにかは引き出し易いならば資料編である fact6: もし仮に「あの反応性乳化剤は自治会だ」ということは事実だとするとその基盤整備は引き出し易い fact7: 何らかのものは殺めるしそれに逃れ難いならばそれは先駆け的存在でない fact8: もしもそのリミックスが不活性化しない一方でそれが上げ易いとしたらあの寺内は不活性化する fact9: あの反応性乳化剤は先駆け的存在でないとすれば「それは資料編であるし更に挑戦出来る」ということは事実でない fact10: そのリミックスは不活性化しない一方で上げ易い fact11: その立ち会いは逃れ難い fact12: 「そのリミックスは上げ易い」ということは事実である
void -> assump1: 以下のように仮定する。あの反応性乳化剤は自治会だ; fact6 & assump1 -> int1: その基盤整備は引き出し易い; int1 & fact3 -> int2: その立ち会いは軌道修正である; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの反応性乳化剤は自治会でない; fact4 -> int5: あの反応性乳化剤は自治会でないならばそれは逃れ難い; int4 & int5 -> int6: あの反応性乳化剤は逃れ難い; fact10 & fact8 -> int7: あの寺内は不活性化する; fact2 & int7 -> int8: あの反応性乳化剤は殺める; int6 & int8 -> int9: あの反応性乳化剤は殺めるし逃れ難い; fact7 -> int10: もし仮にあの反応性乳化剤は殺めるし逃れ難いとすると先駆け的存在でない; int9 & int10 -> int11: あの反応性乳化剤は先駆け的存在でない; int11 & fact9 -> hypothesis;
あの反応性乳化剤は資料編で加えて挑戦出来る
fact13 -> int12: 仮にあの反応性乳化剤が引き出し易いとしたら資料編である;
$facts$ = fact1: その立ち会いは軌道修正だということはない fact2: 「あの寺内が不活性化するとしたらあの反応性乳化剤は殺める」ということは成り立つ fact3: もしその基盤整備が引き出し易いならばその立ち会いは軌道修正である fact4: もし仮になんらかの物が自治会でないとすれば逃れ難い fact5: もしなにかは引き出し易いならば資料編である fact6: もし仮に「あの反応性乳化剤は自治会だ」ということは事実だとするとその基盤整備は引き出し易い fact7: 何らかのものは殺めるしそれに逃れ難いならばそれは先駆け的存在でない fact8: もしもそのリミックスが不活性化しない一方でそれが上げ易いとしたらあの寺内は不活性化する fact9: あの反応性乳化剤は先駆け的存在でないとすれば「それは資料編であるし更に挑戦出来る」ということは事実でない fact10: そのリミックスは不活性化しない一方で上げ易い fact11: その立ち会いは逃れ難い fact12: 「そのリミックスは上げ易い」ということは事実である ; $hypothesis$ = あの反応性乳化剤は資料編であるしそれは挑戦出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの反応性乳化剤は自治会だ; fact6 & assump1 -> int1: その基盤整備は引き出し易い; int1 & fact3 -> int2: その立ち会いは軌道修正である; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの反応性乳化剤は自治会でない; fact4 -> int5: あの反応性乳化剤は自治会でないならばそれは逃れ難い; int4 & int5 -> int6: あの反応性乳化剤は逃れ難い; fact10 & fact8 -> int7: あの寺内は不活性化する; fact2 & int7 -> int8: あの反応性乳化剤は殺める; int6 & int8 -> int9: あの反応性乳化剤は殺めるし逃れ難い; fact7 -> int10: もし仮にあの反応性乳化剤は殺めるし逃れ難いとすると先駆け的存在でない; int9 & int10 -> int11: あの反応性乳化剤は先駆け的存在でない; int11 & fact9 -> hypothesis; __DISPROVED__
事実1: その立ち会いは軌道修正だということはない
事実2: 「あの寺内が不活性化するとしたらあの反応性乳化剤は殺める」ということは成り立つ
事実3: もしその基盤整備が引き出し易いならばその立ち会いは軌道修正である
事実4: もし仮になんらかの物が自治会でないとすれば逃れ難い
事実5: もしなにかは引き出し易いならば資料編である
事実6: もし仮に「あの反応性乳化剤は自治会だ」ということは事実だとするとその基盤整備は引き出し易い
事実7: 何らかのものは殺めるしそれに逃れ難いならばそれは先駆け的存在でない
事実8: もしもそのリミックスが不活性化しない一方でそれが上げ易いとしたらあの寺内は不活性化する
事実9: あの反応性乳化剤は先駆け的存在でないとすれば「それは資料編であるし更に挑戦出来る」ということは事実でない
事実10: そのリミックスは不活性化しない一方で上げ易い
事実11: その立ち会いは逃れ難い
事実12: 「そのリミックスは上げ易い」ということは事実である

仮説: あの反応性乳化剤は資料編であるしそれは挑戦出来る
1. 仮定1: 以下のように仮定する。あの反応性乳化剤は自治会だ
2. 事実6と仮定1から、推論1: "その基盤整備は引き出し易い"が導かれる
3. 推論1と事実3から、推論2: "その立ち会いは軌道修正である"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの反応性乳化剤は自治会でない"が導かれる
6. 事実4から、推論5: "あの反応性乳化剤は自治会でないならばそれは逃れ難い"が導かれる
7. 推論4と推論5から、推論6: "あの反応性乳化剤は逃れ難い"が導かれる
8. 事実10と事実8から、推論7: "あの寺内は不活性化する"が導かれる
9. 事実2と推論7から、推論8: "あの反応性乳化剤は殺める"が導かれる
10. 推論6と推論8から、推論9: "あの反応性乳化剤は殺めるし逃れ難い"が導かれる
11. 事実7から、推論10: "もし仮にあの反応性乳化剤は殺めるし逃れ難いとすると先駆け的存在でない"が導かれる
12. 推論9と推論10から、推論11: "あの反応性乳化剤は先駆け的存在でない"が導かれる
13. 推論11と事実9から、仮説が否定される

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