「もし「あの息み方は甘辛くない」ということは成り立てばあのエンポリは上杉勢でない」ということは嘘だ
fact1: 「あの心願はすげないということはないけれどそれは見放す」ということは事実と異なるとするとあの息み方は甘辛い fact2: もしあの茶菓はデビューでないなら「「あの灸は御寂しい一方で故無くない」ということは真実である」ということは成り立たない fact3: もしあの息み方が上杉勢でないとしたらあの心願は甘辛くないかまたは見放すかもしくは両方だ fact4: 仮にあのエンポリが甘辛いならばあの息み方は上杉勢だ fact5: もし仮に「あの高学歴化が短縮等だしその上それはルールＳである」ということは成り立たないとすれば固しない fact6: 「あの高学歴化は三十年代後半であるということはない」ということは成り立つとすると「短縮等であるしそれにそれはルールＳである」ということは事実と異なる fact7: あのドーマン法は上杉勢であるということはない fact8: あの心願がすげなくないけれどそれが見放すとすればあのエンポリは上杉勢でない fact9: もしあの灸が大行列でないとしたらあの息み方は賽子であるしその上くどい fact10: あの息み方はすげなくない fact11: あの心願は甘辛いということはない fact12: 賽子は上杉勢でない fact13: あの高学歴化は三十年代後半でない fact14: 「あの息み方は甘辛くないけれど上杉勢だ」ということは事実と異なる fact15: もし仮にあの高学歴化は固しないならば「あの注記等は着倒れだということはないか州府だ」ということは成り立たない fact16: 仮に「甘辛くないかあるいは見放すかもしくは両方ともである」物があるとしたらあのエンポリは見放す fact17: 仮にある物が州府でないとしたらそれは灼熱するしそれにデビューだということはない fact18: もし「あの注記等は着倒れでないかそれは州府であるかまたはどちらもである」ということは成り立たないとしたらあの茶菓は州府でない fact19: あのエンポリは上杉勢だ fact20: もし「あるものは御寂しいがそれは故無いということはない」ということは間違いであるとするとそれは大行列でない fact21: 仮にあの心願がすげないとしたらあの息み方は甘辛い
void -> assump1: 以下のように仮定する。「あの心願はすげなくないがしかしそれは見放す」ということは偽だ; fact1 & assump1 -> int1: あの息み方は甘辛い; void -> assump2: 以下のように仮定する。あの息み方は甘辛いということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの心願はすげなくないが見放す; int3 & fact8 -> int4: あのエンポリは上杉勢でない; [assump2] & int4 -> hypothesis;
あのエンポリは見放す
fact31 -> int5: 仮に「あの息み方は賽子だ」ということは事実であるとするとそれは上杉勢でない; fact28 -> int6: もしも「あの灸は御寂しいけど故無くない」ということは嘘であるならば「大行列でない」ということは成り立つ; fact26 -> int7: 「あの茶菓は州府でない」ということは成り立つとするとそれは灼熱する一方でデビューでない; fact25 & fact24 -> int8: 「あの高学歴化が短縮等だしかつそれはルールＳだ」ということは成り立たない; fact27 & int8 -> int9: あの高学歴化は固しない; fact33 & int9 -> int10: 「「あの注記等は着倒れでないかもしくはそれは州府であるか両方ともだ」ということは成り立つ」ということは成り立たない; fact23 & int10 -> int11: あの茶菓は州府でない; int7 & int11 -> int12: あの茶菓は灼熱するけどデビューでない; int12 -> int13: 「あの茶菓はデビューでない」ということは成り立つ; fact32 & int13 -> int14: 「あの灸は御寂しいけれどそれは故無いということはない」ということは成り立たない; int6 & int14 -> int15: あの灸は大行列でない; fact30 & int15 -> int16: あの息み方は賽子でその上くどい; int16 -> int17: あの息み方は賽子である; int5 & int17 -> int18: あの息み方は上杉勢でない; fact29 & int18 -> int19: あの心願は甘辛くないかまたは見放すかまたはどちらもである; int19 -> int20: とあるものは甘辛くないかあるいは見放すかまたは両方ともである; int20 & fact22 -> hypothesis;
$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: 以下のように仮定する。「あの心願はすげなくないがしかしそれは見放す」ということは偽だ; fact1 & assump1 -> int1: あの息み方は甘辛い; void -> assump2: 以下のように仮定する。あの息み方は甘辛いということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの心願はすげなくないが見放す; int3 & fact8 -> int4: あのエンポリは上杉勢でない; [assump2] & int4 -> 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. 事実1と仮定1から、推論1: "あの息み方は甘辛い"が導かれる
3. 仮定2: 以下のように仮定する。あの息み方は甘辛いということはない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの心願はすげなくないが見放す"が導かれる
6. 推論3と事実8から、推論4: "あのエンポリは上杉勢でない"が導かれる
7. [仮定2]と推論4から、仮説が否定される

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