「「このど根性は遣り返す」ということは真実であるとすればその予期不安は感謝するということはない」ということは偽だ
fact1: もしもその予期不安が遣り返すとしたらこのど根性は軟らか過ぎる fact2: もし仮にこのど根性が軟らか過ぎないかまたは感謝するならその予期不安は遣り返すということはない fact3: このど根性は酸っぱくないかもしくはそれは見極め難いかまたは両方ともである fact4: もし「何かは遣り返さないかもしくは感謝する」ということは成り立たないとすると用心深いということはない fact5: もしこのど根性が軟らか過ぎるということはないかもしくは用心深いかまたは両方だとしたらその予期不安は感謝しない fact6: その予期不安が遣り返すとしたらこのど根性は軟らか過ぎない fact7: 「なにがしかのものは軟らか過ぎないかあるいは遣り返すかあるいはどちらもである」ということは成り立たないとするとそれは感謝しない fact8: もし「あの主要参考文献は自己確認でないかもしくは軟らか過ぎるか両方ともだ」ということは成り立たないとしたら「それは古くない」ということは間違っている fact9: 仮に「なんらかのものは軟らか過ぎないかまたは用心深いか両方である」ということは成り立たないとすると遣り返さない fact10: 「「実験段階でないし学際でない」ということは成り立つということはない」ものはある fact11: 「その予期不安は挫くないかもしくは用心深いかまたはどちらもだ」ということは間違っている fact12: 仮にこのど根性が感謝するとすればその予期不安は遣り返さない fact13: もし仮になんらかの物が実験段階だとしたら感謝する fact14: もし「その予期不安は遣り返さないかまたはそれは感謝する」ということは間違っていれば軟らか過ぎるということはない fact15: このど根性は感謝しない
fact9 -> int1: 「このど根性は軟らか過ぎないかまたはそれは用心深い」ということは確かでないとしたらそれは遣り返さない; void -> assump1: 以下のように仮定する。「このど根性は軟らか過ぎないかまたはそれは用心深いかどちらもである」ということは誤りである; int1 & assump1 -> int2: このど根性は遣り返さない; void -> assump2: 以下のように仮定する。このど根性は遣り返す; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このど根性は軟らか過ぎるということはないかまたはそれは用心深いかまたは両方である; int4 & fact5 -> int5: その予期不安は感謝しない; [assump2] & int5 -> hypothesis;
あの雨飛沫は用心深くない
fact17 -> int6: その予期不安は実験段階であるとしたらそれは感謝する;
$facts$ = fact1: もしもその予期不安が遣り返すとしたらこのど根性は軟らか過ぎる fact2: もし仮にこのど根性が軟らか過ぎないかまたは感謝するならその予期不安は遣り返すということはない fact3: このど根性は酸っぱくないかもしくはそれは見極め難いかまたは両方ともである fact4: もし「何かは遣り返さないかもしくは感謝する」ということは成り立たないとすると用心深いということはない fact5: もしこのど根性が軟らか過ぎるということはないかもしくは用心深いかまたは両方だとしたらその予期不安は感謝しない fact6: その予期不安が遣り返すとしたらこのど根性は軟らか過ぎない fact7: 「なにがしかのものは軟らか過ぎないかあるいは遣り返すかあるいはどちらもである」ということは成り立たないとするとそれは感謝しない fact8: もし「あの主要参考文献は自己確認でないかもしくは軟らか過ぎるか両方ともだ」ということは成り立たないとしたら「それは古くない」ということは間違っている fact9: 仮に「なんらかのものは軟らか過ぎないかまたは用心深いか両方である」ということは成り立たないとすると遣り返さない fact10: 「「実験段階でないし学際でない」ということは成り立つということはない」ものはある fact11: 「その予期不安は挫くないかもしくは用心深いかまたはどちらもだ」ということは間違っている fact12: 仮にこのど根性が感謝するとすればその予期不安は遣り返さない fact13: もし仮になんらかの物が実験段階だとしたら感謝する fact14: もし「その予期不安は遣り返さないかまたはそれは感謝する」ということは間違っていれば軟らか過ぎるということはない fact15: このど根性は感謝しない ; $hypothesis$ = 「「このど根性は遣り返す」ということは真実であるとすればその予期不安は感謝するということはない」ということは偽だ ; $proof$ = 
fact9 -> int1: 「このど根性は軟らか過ぎないかまたはそれは用心深い」ということは確かでないとしたらそれは遣り返さない; void -> assump1: 以下のように仮定する。「このど根性は軟らか過ぎないかまたはそれは用心深いかどちらもである」ということは誤りである; int1 & assump1 -> int2: このど根性は遣り返さない; void -> assump2: 以下のように仮定する。このど根性は遣り返す; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このど根性は軟らか過ぎるということはないかまたはそれは用心深いかまたは両方である; int4 & fact5 -> int5: その予期不安は感謝しない; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: もしもその予期不安が遣り返すとしたらこのど根性は軟らか過ぎる
事実2: もし仮にこのど根性が軟らか過ぎないかまたは感謝するならその予期不安は遣り返すということはない
事実3: このど根性は酸っぱくないかもしくはそれは見極め難いかまたは両方ともである
事実4: もし「何かは遣り返さないかもしくは感謝する」ということは成り立たないとすると用心深いということはない
事実5: もしこのど根性が軟らか過ぎるということはないかもしくは用心深いかまたは両方だとしたらその予期不安は感謝しない
事実6: その予期不安が遣り返すとしたらこのど根性は軟らか過ぎない
事実7: 「なにがしかのものは軟らか過ぎないかあるいは遣り返すかあるいはどちらもである」ということは成り立たないとするとそれは感謝しない
事実8: もし「あの主要参考文献は自己確認でないかもしくは軟らか過ぎるか両方ともだ」ということは成り立たないとしたら「それは古くない」ということは間違っている
事実9: 仮に「なんらかのものは軟らか過ぎないかまたは用心深いか両方である」ということは成り立たないとすると遣り返さない
事実10: 「「実験段階でないし学際でない」ということは成り立つということはない」ものはある
事実11: 「その予期不安は挫くないかもしくは用心深いかまたはどちらもだ」ということは間違っている
事実12: 仮にこのど根性が感謝するとすればその予期不安は遣り返さない
事実13: もし仮になんらかの物が実験段階だとしたら感謝する
事実14: もし「その予期不安は遣り返さないかまたはそれは感謝する」ということは間違っていれば軟らか過ぎるということはない
事実15: このど根性は感謝しない

仮説: 「「このど根性は遣り返す」ということは真実であるとすればその予期不安は感謝するということはない」ということは偽だ
1. 事実9から、推論1: "「このど根性は軟らか過ぎないかまたはそれは用心深い」ということは確かでないとしたらそれは遣り返さない"が導かれる
2. 仮定1: 以下のように仮定する。「このど根性は軟らか過ぎないかまたはそれは用心深いかどちらもである」ということは誤りである
3. 推論1と仮定1から、推論2: "このど根性は遣り返さない"が導かれる
4. 仮定2: 以下のように仮定する。このど根性は遣り返す
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "このど根性は軟らか過ぎるということはないかまたはそれは用心深いかまたは両方である"が導かれる
7. 推論4と事実5から、推論5: "その予期不安は感謝しない"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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