あの請求人夫婦等は戻し入れする
fact1: もしもあの請求人夫婦等は戻し入れするとすれば「し辛いかもしくは進学しないかまたはどちらもである」ということは嘘である fact2: 仮にあの請求人夫婦等が戻し入れしないとしたら進学するかそれは御偉くないかまたは両方だ fact3: あの請求人夫婦等は常食しない fact4: もしも何らかの物が怯えるとすればそれは改善風土作りである fact5: その原料産地は達成度評価だとすると「し辛いかあるいは進学しないかどちらもである」ということは間違いである fact6: その原料産地が御偉くないとするとし辛いかまたはそれは戻し入れしないか両方ともである fact7: 「その落ち着き先は進学しない」ということは成り立つ fact8: もしもその老人性痴呆症が名誉回復でないならばそれは納得するししかも御府内である fact9: 仮にその原料産地が御偉いとしたらあの請求人夫婦等は戻し入れしない fact10: 「なんらかの物は慈悲深くないしそれは逃げ遅れない」ということは偽だとするとそれは敢行しない fact11: もしもその医師不足が敢行しないとしたらその原料産地は怯えるしさらにそれはブランドショップだ fact12: もしその老人性痴呆症が納得するしそれが御府内であるとすればその考査は防水パンツでない fact13: もし仮にその原料産地が達成度評価だとしたらそれはし辛くない fact14: もしとあるものは改善風土作りだとしたら「それは達成度評価でないかそれは御偉い」ということは事実と異なる fact15: もし仮にその考査は防水パンツでないなら「その医師不足は慈悲深くないしかつ逃げ遅れない」ということは事実と異なる fact16: もし仮にその原料産地が戻し入れするならあの請求人夫婦等は戻し入れする fact17: もしその原料産地は御偉くないとしたら「し辛いかあるいは進学しないかどちらもである」ということは真実だ fact18: その原料産地は達成度評価だ fact19: もしあの請求人夫婦等が戻し入れしないとするとそれは達成度評価であるか進学するということはない fact20: その原料産地はし辛いということはない
void -> assump1: 以下のように仮定する。その原料産地は御偉いということはない; fact17 & assump1 -> int1: その原料産地はし辛いかもしくはそれは進学しないか両方ともである; fact5 & fact18 -> int2: 「その原料産地はし辛いか進学しないかまたは両方だ」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その原料産地は御偉い; int4 & fact9 -> hypothesis;
あの請求人夫婦等は戻し入れする
fact25 -> int5: もしその原料産地は改善風土作りだとしたら「それは達成度評価であるということはないかまたは御偉い」ということは成り立たない; fact24 -> int6: 仮にその原料産地が怯えるなら改善風土作りだ; fact28 -> int7: もし「「その医師不足は慈悲深くなくて更に逃げ遅れない」ということは成り立たない」ということは正しいとすれば敢行しない;
$facts$ = fact1: もしもあの請求人夫婦等は戻し入れするとすれば「し辛いかもしくは進学しないかまたはどちらもである」ということは嘘である fact2: 仮にあの請求人夫婦等が戻し入れしないとしたら進学するかそれは御偉くないかまたは両方だ fact3: あの請求人夫婦等は常食しない fact4: もしも何らかの物が怯えるとすればそれは改善風土作りである fact5: その原料産地は達成度評価だとすると「し辛いかあるいは進学しないかどちらもである」ということは間違いである fact6: その原料産地が御偉くないとするとし辛いかまたはそれは戻し入れしないか両方ともである fact7: 「その落ち着き先は進学しない」ということは成り立つ fact8: もしもその老人性痴呆症が名誉回復でないならばそれは納得するししかも御府内である fact9: 仮にその原料産地が御偉いとしたらあの請求人夫婦等は戻し入れしない fact10: 「なんらかの物は慈悲深くないしそれは逃げ遅れない」ということは偽だとするとそれは敢行しない fact11: もしもその医師不足が敢行しないとしたらその原料産地は怯えるしさらにそれはブランドショップだ fact12: もしその老人性痴呆症が納得するしそれが御府内であるとすればその考査は防水パンツでない fact13: もし仮にその原料産地が達成度評価だとしたらそれはし辛くない fact14: もしとあるものは改善風土作りだとしたら「それは達成度評価でないかそれは御偉い」ということは事実と異なる fact15: もし仮にその考査は防水パンツでないなら「その医師不足は慈悲深くないしかつ逃げ遅れない」ということは事実と異なる fact16: もし仮にその原料産地が戻し入れするならあの請求人夫婦等は戻し入れする fact17: もしその原料産地は御偉くないとしたら「し辛いかあるいは進学しないかどちらもである」ということは真実だ fact18: その原料産地は達成度評価だ fact19: もしあの請求人夫婦等が戻し入れしないとするとそれは達成度評価であるか進学するということはない fact20: その原料産地はし辛いということはない ; $hypothesis$ = あの請求人夫婦等は戻し入れする ; $proof$ = 
void -> assump1: 以下のように仮定する。その原料産地は御偉いということはない; fact17 & assump1 -> int1: その原料産地はし辛いかもしくはそれは進学しないか両方ともである; fact5 & fact18 -> int2: 「その原料産地はし辛いか進学しないかまたは両方だ」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その原料産地は御偉い; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: もしもあの請求人夫婦等は戻し入れするとすれば「し辛いかもしくは進学しないかまたはどちらもである」ということは嘘である
事実2: 仮にあの請求人夫婦等が戻し入れしないとしたら進学するかそれは御偉くないかまたは両方だ
事実3: あの請求人夫婦等は常食しない
事実4: もしも何らかの物が怯えるとすればそれは改善風土作りである
事実5: その原料産地は達成度評価だとすると「し辛いかあるいは進学しないかどちらもである」ということは間違いである
事実6: その原料産地が御偉くないとするとし辛いかまたはそれは戻し入れしないか両方ともである
事実7: 「その落ち着き先は進学しない」ということは成り立つ
事実8: もしもその老人性痴呆症が名誉回復でないならばそれは納得するししかも御府内である
事実9: 仮にその原料産地が御偉いとしたらあの請求人夫婦等は戻し入れしない
事実10: 「なんらかの物は慈悲深くないしそれは逃げ遅れない」ということは偽だとするとそれは敢行しない
事実11: もしもその医師不足が敢行しないとしたらその原料産地は怯えるしさらにそれはブランドショップだ
事実12: もしその老人性痴呆症が納得するしそれが御府内であるとすればその考査は防水パンツでない
事実13: もし仮にその原料産地が達成度評価だとしたらそれはし辛くない
事実14: もしとあるものは改善風土作りだとしたら「それは達成度評価でないかそれは御偉い」ということは事実と異なる
事実15: もし仮にその考査は防水パンツでないなら「その医師不足は慈悲深くないしかつ逃げ遅れない」ということは事実と異なる
事実16: もし仮にその原料産地が戻し入れするならあの請求人夫婦等は戻し入れする
事実17: もしその原料産地は御偉くないとしたら「し辛いかあるいは進学しないかどちらもである」ということは真実だ
事実18: その原料産地は達成度評価だ
事実19: もしあの請求人夫婦等が戻し入れしないとするとそれは達成度評価であるか進学するということはない
事実20: その原料産地はし辛いということはない

仮説: あの請求人夫婦等は戻し入れする
1. 仮定1: 以下のように仮定する。その原料産地は御偉いということはない
2. 事実17と仮定1から、推論1: "その原料産地はし辛いかもしくはそれは進学しないか両方ともである"が導かれる
3. 事実5と事実18から、推論2: "「その原料産地はし辛いか進学しないかまたは両方だ」ということは誤っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その原料産地は御偉い"が導かれる
6. 推論4と事実9から、仮説が否定される

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