そのプラシーボ反応が形成出来ないならばその霊地は作業し易いしリハーサルだ
fact1: もしも「ある物は倫理学ノートであるかそれは逆切れしないか両方である」ということは誤りであるとするとそれはリハーサルである fact2: その霊地は染み込み易くないかまたは出易くないかあるいは両方である fact3: もしその霊地が染み込み易くないか出易いということはないかあるいは両方ともであるならそれは出易くない fact4: 中絶手術が知見しないとするとその霊地は作業し易い fact5: もし仮に「そのプラシーボ反応は形成出来ない」ということは成り立つなら中絶手術であるしかつそれは知見しない fact6: もしもとある物は出易いということはないなら「それは倫理学ノートであるかまたは逆切れしないかもしくは両方だ」ということは成り立たない
void -> assump1: 以下のように仮定する。そのプラシーボ反応は形成出来ない; fact5 & assump1 -> int1: そのプラシーボ反応は中絶手術である一方でそれは知見しない; int1 -> int2: 「中絶手術であるしさらに知見しない」ものはある; int2 & fact4 -> int3: その霊地は作業し易い; fact1 -> int4: もしも「その霊地は倫理学ノートであるかまたは逆切れしないかもしくは両方だ」ということは成り立つということはないとしたらそれはリハーサルである; fact3 & fact2 -> int5: その霊地は出易くない; fact6 -> int6: もしその霊地は出易くないとしたら「倫理学ノートであるかあるいは逆切れしないかもしくは両方ともだ」ということは正しくない; int5 & int6 -> int7: 「その霊地は倫理学ノートであるかあるいはそれは逆切れするということはないかもしくはどちらもである」ということは間違っている; int4 & int7 -> int8: その霊地はリハーサルである; int3 & int8 -> int9: その霊地は作業し易いしリハーサルである; [assump1] & int9 -> hypothesis;
$facts$ = fact1: もしも「ある物は倫理学ノートであるかそれは逆切れしないか両方である」ということは誤りであるとするとそれはリハーサルである fact2: その霊地は染み込み易くないかまたは出易くないかあるいは両方である fact3: もしその霊地が染み込み易くないか出易いということはないかあるいは両方ともであるならそれは出易くない fact4: 中絶手術が知見しないとするとその霊地は作業し易い fact5: もし仮に「そのプラシーボ反応は形成出来ない」ということは成り立つなら中絶手術であるしかつそれは知見しない fact6: もしもとある物は出易いということはないなら「それは倫理学ノートであるかまたは逆切れしないかもしくは両方だ」ということは成り立たない ; $hypothesis$ = そのプラシーボ反応が形成出来ないならばその霊地は作業し易いしリハーサルだ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのプラシーボ反応は形成出来ない; fact5 & assump1 -> int1: そのプラシーボ反応は中絶手術である一方でそれは知見しない; int1 -> int2: 「中絶手術であるしさらに知見しない」ものはある; int2 & fact4 -> int3: その霊地は作業し易い; fact1 -> int4: もしも「その霊地は倫理学ノートであるかまたは逆切れしないかもしくは両方だ」ということは成り立つということはないとしたらそれはリハーサルである; fact3 & fact2 -> int5: その霊地は出易くない; fact6 -> int6: もしその霊地は出易くないとしたら「倫理学ノートであるかあるいは逆切れしないかもしくは両方ともだ」ということは正しくない; int5 & int6 -> int7: 「その霊地は倫理学ノートであるかあるいはそれは逆切れするということはないかもしくはどちらもである」ということは間違っている; int4 & int7 -> int8: その霊地はリハーサルである; int3 & int8 -> int9: その霊地は作業し易いしリハーサルである; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしも「ある物は倫理学ノートであるかそれは逆切れしないか両方である」ということは誤りであるとするとそれはリハーサルである
事実2: その霊地は染み込み易くないかまたは出易くないかあるいは両方である
事実3: もしその霊地が染み込み易くないか出易いということはないかあるいは両方ともであるならそれは出易くない
事実4: 中絶手術が知見しないとするとその霊地は作業し易い
事実5: もし仮に「そのプラシーボ反応は形成出来ない」ということは成り立つなら中絶手術であるしかつそれは知見しない
事実6: もしもとある物は出易いということはないなら「それは倫理学ノートであるかまたは逆切れしないかもしくは両方だ」ということは成り立たない

仮説: そのプラシーボ反応が形成出来ないならばその霊地は作業し易いしリハーサルだ
1. 仮定1: 以下のように仮定する。そのプラシーボ反応は形成出来ない
2. 事実5と仮定1から、推論1: "そのプラシーボ反応は中絶手術である一方でそれは知見しない"が導かれる
3. 推論1から、推論2: "「中絶手術であるしさらに知見しない」ものはある"が導かれる
4. 推論2と事実4から、推論3: "その霊地は作業し易い"が導かれる
5. 事実1から、推論4: "もしも「その霊地は倫理学ノートであるかまたは逆切れしないかもしくは両方だ」ということは成り立つということはないとしたらそれはリハーサルである"が導かれる
6. 事実3と事実2から、推論5: "その霊地は出易くない"が導かれる
7. 事実6から、推論6: "もしその霊地は出易くないとしたら「倫理学ノートであるかあるいは逆切れしないかもしくは両方ともだ」ということは正しくない"が導かれる
8. 推論5と推論6から、推論7: "「その霊地は倫理学ノートであるかあるいはそれは逆切れするということはないかもしくはどちらもである」ということは間違っている"が導かれる
9. 推論4と推論7から、推論8: "その霊地はリハーサルである"が導かれる
10. 推論3と推論8から、推論9: "その霊地は作業し易いしリハーサルである"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

よって、仮説が証明されました。