あの説明抜きは暮らし易いということはない
fact1: あの表面が捨て去れないとしたらその前半生は溜まり易い fact2: なんらかの物が冬眠するししかもそれが歩くならそれは山深いということはない fact3: あの説明抜きは黒字化しない fact4: もし仮にあの表面が暮らし易いとすればあの説明抜きは暮らし易くない fact5: 仮に「あの表面は言い出し難くない」ということは正しいとすればその前半生は溜まり易いということはない fact6: もし仮にこのラジオ広告費がゲノムだとすればナビゲートする fact7: この横歩きは捨て去れる fact8: もしもあの説明抜きが言い出し難くないとしたらあの表面は暮らし易い fact9: もしもあの説明抜きが暮らし易くないとしたらあの表面は言い出し難くないかもしくはそれは捨て去れないかあるいは両方ともである fact10: もしもその前半生が設立認可であるならばあの表面は歩く fact11: その前半生は溜まり易い fact12: このラジオ広告費はゲノムだ fact13: もしその前半生が捨て去れないならあの表面は溜まり易い fact14: 「その前半生は核分裂する」ということは成り立つとすれば「設立認可である」ということは事実だ fact15: このラジオ広告費は御上がり下さる fact16: あの表面は溜まり易い fact17: 山深いということはない物は溜まり易くないけど暮らし易い fact18: 仮になにかは御上がり下さるしナビゲートすればあの表面は冬眠する fact19: もし仮にあの説明抜きが溜まり易くないとするとその前半生は暮らし易くない fact20: もしも「その前半生は言い出し難くない」ということは真実ならあの表面は溜まり易い fact21: もし仮にあの表面が捨て去れないとするとその前半生は溜まり易くない
void -> assump1: 以下のように仮定する。あの説明抜きは暮らし易くない; fact9 & assump1 -> int1: あの表面は言い出し難くないかもしくはそれは捨て去れない; int1 & fact5 & fact21 -> int2: その前半生は溜まり易くない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの説明抜きは暮らし易くない
fact22 -> int4: もしもあの表面が山深くないなら溜まり易くないしそれは暮らし易い; fact30 -> int5: もしあの表面は冬眠するし歩けばそれは山深くない; fact26 & fact27 -> int6: このラジオ広告費はナビゲートする; fact29 & int6 -> int7: このラジオ広告費は御上がり下さるしナビゲートする; int7 -> int8: 何らかのものは御上がり下さるしナビゲートする; int8 & fact25 -> int9: あの表面は冬眠する;
$facts$ = fact1: あの表面が捨て去れないとしたらその前半生は溜まり易い fact2: なんらかの物が冬眠するししかもそれが歩くならそれは山深いということはない fact3: あの説明抜きは黒字化しない fact4: もし仮にあの表面が暮らし易いとすればあの説明抜きは暮らし易くない fact5: 仮に「あの表面は言い出し難くない」ということは正しいとすればその前半生は溜まり易いということはない fact6: もし仮にこのラジオ広告費がゲノムだとすればナビゲートする fact7: この横歩きは捨て去れる fact8: もしもあの説明抜きが言い出し難くないとしたらあの表面は暮らし易い fact9: もしもあの説明抜きが暮らし易くないとしたらあの表面は言い出し難くないかもしくはそれは捨て去れないかあるいは両方ともである fact10: もしもその前半生が設立認可であるならばあの表面は歩く fact11: その前半生は溜まり易い fact12: このラジオ広告費はゲノムだ fact13: もしその前半生が捨て去れないならあの表面は溜まり易い fact14: 「その前半生は核分裂する」ということは成り立つとすれば「設立認可である」ということは事実だ fact15: このラジオ広告費は御上がり下さる fact16: あの表面は溜まり易い fact17: 山深いということはない物は溜まり易くないけど暮らし易い fact18: 仮になにかは御上がり下さるしナビゲートすればあの表面は冬眠する fact19: もし仮にあの説明抜きが溜まり易くないとするとその前半生は暮らし易くない fact20: もしも「その前半生は言い出し難くない」ということは真実ならあの表面は溜まり易い fact21: もし仮にあの表面が捨て去れないとするとその前半生は溜まり易くない ; $hypothesis$ = あの説明抜きは暮らし易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの説明抜きは暮らし易くない; fact9 & assump1 -> int1: あの表面は言い出し難くないかもしくはそれは捨て去れない; int1 & fact5 & fact21 -> int2: その前半生は溜まり易くない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの表面が捨て去れないとしたらその前半生は溜まり易い
事実2: なんらかの物が冬眠するししかもそれが歩くならそれは山深いということはない
事実3: あの説明抜きは黒字化しない
事実4: もし仮にあの表面が暮らし易いとすればあの説明抜きは暮らし易くない
事実5: 仮に「あの表面は言い出し難くない」ということは正しいとすればその前半生は溜まり易いということはない
事実6: もし仮にこのラジオ広告費がゲノムだとすればナビゲートする
事実7: この横歩きは捨て去れる
事実8: もしもあの説明抜きが言い出し難くないとしたらあの表面は暮らし易い
事実9: もしもあの説明抜きが暮らし易くないとしたらあの表面は言い出し難くないかもしくはそれは捨て去れないかあるいは両方ともである
事実10: もしもその前半生が設立認可であるならばあの表面は歩く
事実11: その前半生は溜まり易い
事実12: このラジオ広告費はゲノムだ
事実13: もしその前半生が捨て去れないならあの表面は溜まり易い
事実14: 「その前半生は核分裂する」ということは成り立つとすれば「設立認可である」ということは事実だ
事実15: このラジオ広告費は御上がり下さる
事実16: あの表面は溜まり易い
事実17: 山深いということはない物は溜まり易くないけど暮らし易い
事実18: 仮になにかは御上がり下さるしナビゲートすればあの表面は冬眠する
事実19: もし仮にあの説明抜きが溜まり易くないとするとその前半生は暮らし易くない
事実20: もしも「その前半生は言い出し難くない」ということは真実ならあの表面は溜まり易い
事実21: もし仮にあの表面が捨て去れないとするとその前半生は溜まり易くない

仮説: あの説明抜きは暮らし易いということはない
1. 仮定1: 以下のように仮定する。あの説明抜きは暮らし易くない
2. 事実9と仮定1から、推論1: "あの表面は言い出し難くないかもしくはそれは捨て去れない"が導かれる
3. 推論1と事実5と事実21から、推論2: "その前半生は溜まり易くない"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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