あの僧帽弁逆流は狙い易くない
fact1: もし仮にあの僧帽弁逆流が甲斐甲斐しかないならそのアマチュアゴルファーは狙い易くない fact2: もし仮にそのアマチュアゴルファーはインサートしないなら「この担当以外は甲斐甲斐しかないかもしくはミュートしない」ということは偽だ fact3: 仮にこの担当以外が思い出深いとするとミュートする fact4: あの心理生物学的反応は狙い易い fact5: 仮にこの担当以外が甲斐甲斐しいしインサートするならあの僧帽弁逆流は甲斐甲斐しかない fact6: 仮に何らかのものが切り取るしその上復帰するならそれはめんど臭くない fact7: あの予言が切り取るならこの担当以外は切り取る fact8: 仮にあの僧帽弁逆流は狙い易くないならば「この担当以外は長期資金でないしさらに思い出深いということはない」ということは間違いである fact9: あの予言は来過ぎるかまたはそれは切り取る fact10: もしこの担当以外はめんど臭くないとしたら「「「そのアマチュアゴルファーは思い出深くなくてまた甲斐甲斐しかない」ということは成り立つ」ということは間違いである」ということは成り立つ fact11: 「「この担当以外は甲斐甲斐しかなくてしかも長期資金だということはない」ということは成り立つ」ということは成り立たないとしたらそれはめんど臭い fact12: 「あの予言が来過ぎるとすればこの担当以外は切り取る」ということは成り立つ fact13: 狙い易くない物はミュートしないかまたは弛み無いかまたは両方ともだ fact14: そのアマチュアゴルファーはめんど臭い fact15: 仮にこの担当以外はミュートするとすると「甲斐甲斐しかないかあるいはそれはインサートするかまたはどちらもだ」ということは真実でない fact16: あの僧帽弁逆流はミュートする fact17: もしも「そのアマチュアゴルファーはめんど臭い」ということは成り立てばこの担当以外は甲斐甲斐しかないかまたはインサートするかどちらもだ fact18: 「あの僧帽弁逆流は思い出深くないし狙い易くない」ということは確かでない fact19: 仮にそのアマチュアゴルファーが切り取らないとしたらインサートしないしめんど臭くない fact20: めんど臭くない物は甲斐甲斐しいしインサートする fact21: 仮に「この担当以外は長期資金でなくて思い出深くない」ということは偽であるとすればそれはミュートする
void -> assump1: 以下のように仮定する。「あの僧帽弁逆流は狙い易くない」ということは成り立つ; fact8 & assump1 -> int1: 「この担当以外は長期資金でなくておまけに思い出深くない」ということは偽である; int1 & fact21 -> int2: この担当以外はミュートする; int2 & fact15 -> int3: 「この担当以外は甲斐甲斐しいということはないかまたはそれはインサートするかどちらもだ」ということは成り立つということはない; fact17 & fact14 -> int4: この担当以外は甲斐甲斐しかないかまたはそれはインサートするかあるいは両方である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
そのアマチュアゴルファーはミュートしないかあるいはそれは弛み無い
fact29 -> int6: もしそのアマチュアゴルファーが狙い易くないとしたらそれはミュートしないかあるいは弛み無い; fact24 -> int7: もし「この担当以外はめんど臭くない」ということは真実だとしたらそれは甲斐甲斐しくてそれはインサートする; fact28 -> int8: 仮にこの担当以外は切り取るし復帰すればそれはめんど臭いということはない; fact22 & fact26 & 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: 以下のように仮定する。「あの僧帽弁逆流は狙い易くない」ということは成り立つ; fact8 & assump1 -> int1: 「この担当以外は長期資金でなくておまけに思い出深くない」ということは偽である; int1 & fact21 -> int2: この担当以外はミュートする; int2 & fact15 -> int3: 「この担当以外は甲斐甲斐しいということはないかまたはそれはインサートするかどちらもだ」ということは成り立つということはない; fact17 & fact14 -> int4: この担当以外は甲斐甲斐しかないかまたはそれはインサートするかあるいは両方である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> 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. 事実8と仮定1から、推論1: "「この担当以外は長期資金でなくておまけに思い出深くない」ということは偽である"が導かれる
3. 推論1と事実21から、推論2: "この担当以外はミュートする"が導かれる
4. 推論2と事実15から、推論3: "「この担当以外は甲斐甲斐しいということはないかまたはそれはインサートするかどちらもだ」ということは成り立つということはない"が導かれる
5. 事実17と事実14から、推論4: "この担当以外は甲斐甲斐しかないかまたはそれはインサートするかあるいは両方である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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