「その錐体外路系は危うし一方で含み込まない」ということは誤っている
fact1: 「このサンちゃんは答え難くない」ということは正しい fact2: もしなにがしかの物がインストール出来ないとすると際限無いしまた一呼吸である fact3: 答え難くないものは見過ごし難いか打ち上がり易い fact4: もしその第一セクターは干渉しないならば「その錐体外路系は危うしけれど含み込まない」ということは偽である fact5: もしも「組み合わせないしおまけに相談し易くない」物があるとしたらこのサンちゃんはインストール出来ない fact6: 打ち上がり易い物は代位する fact7: もしも「この心理的成長はつれない一方で堆積しない」ということは成り立たないとすると「その第一セクターは干渉しない」ということは確かである fact8: もし仮にこの心理的成長は発病しないならば「「つれないけれど堆積しない」ということは事実である」ということは偽だ fact9: もし仮にこのサンちゃんが見過ごし難いとすればそれは代位する fact10: 「このサンちゃんは吐き終わらないかもしくはそれは成就致すかもしくはどちらもである」ということは成り立たない fact11: あの危機対応勘定は干渉する fact12: 仮にこのサンちゃんが干渉しないならこの心理的成長は堆積しないかまたはつれなくない fact13: 仮にあるものが代位するしそれは一呼吸であるならば干渉しない fact14: もしとあるものが発病しないとするとそれは危うしけど含み込むということはない fact15: この心理的成長が発病するとしたらこのサンちゃんは吐き終わらないか成就致すかもしくは両方である fact16: この心理的成長は成就致すかまたは準拠するかあるいはどちらもである fact17: 何かは組み合わせないしおまけにそれは相談し易くない
void -> assump1: 以下のように仮定する。この心理的成長は発病する; fact15 & assump1 -> int1: このサンちゃんは吐き終わらないかもしくは成就致すかもしくは両方である; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: この心理的成長は発病しない; int3 & fact8 -> int4: 「この心理的成長はつれないがしかしそれは堆積しない」ということは嘘だ; int4 & fact7 -> int5: その第一セクターは干渉しない; int5 & fact4 -> hypothesis;
その錐体外路系は危うし一方で含み込まない
fact18 -> int6: もし仮に「その錐体外路系は発病しない」ということは真実ならばそれは危うしし含み込まない; fact24 -> int7: もしこのサンちゃんは代位するしまた一呼吸であるとすれば干渉するということはない; fact25 -> int8: もしこのサンちゃんが答え難くないならば見過ごし難いかもしくは打ち上がり易いか両方ともだ; int8 & fact26 -> int9: このサンちゃんは見過ごし難いかあるいは打ち上がり易いかまたはどちらもである; fact19 -> int10: 仮にこのサンちゃんが打ち上がり易いなら代位する; int9 & fact21 & int10 -> int11: このサンちゃんは代位する; fact23 -> int12: もしもこのサンちゃんがインストール出来ないとすれば際限無いしそれは一呼吸だ; fact20 & fact27 -> int13: このサンちゃんはインストール出来ない; int12 & int13 -> int14: このサンちゃんは際限無くて一呼吸である; int14 -> int15: このサンちゃんは一呼吸である; int11 & int15 -> int16: このサンちゃんは代位するし一呼吸だ; int7 & int16 -> int17: このサンちゃんは干渉するということはない; fact22 & int17 -> int18: この心理的成長は堆積しないかまたはつれなくない; int18 -> int19: 「堆積しないかあるいはつれないということはないかまたはどちらもな」物はある;
$facts$ = fact1: 「このサンちゃんは答え難くない」ということは正しい fact2: もしなにがしかの物がインストール出来ないとすると際限無いしまた一呼吸である fact3: 答え難くないものは見過ごし難いか打ち上がり易い fact4: もしその第一セクターは干渉しないならば「その錐体外路系は危うしけれど含み込まない」ということは偽である fact5: もしも「組み合わせないしおまけに相談し易くない」物があるとしたらこのサンちゃんはインストール出来ない fact6: 打ち上がり易い物は代位する fact7: もしも「この心理的成長はつれない一方で堆積しない」ということは成り立たないとすると「その第一セクターは干渉しない」ということは確かである fact8: もし仮にこの心理的成長は発病しないならば「「つれないけれど堆積しない」ということは事実である」ということは偽だ fact9: もし仮にこのサンちゃんが見過ごし難いとすればそれは代位する fact10: 「このサンちゃんは吐き終わらないかもしくはそれは成就致すかもしくはどちらもである」ということは成り立たない fact11: あの危機対応勘定は干渉する fact12: 仮にこのサンちゃんが干渉しないならこの心理的成長は堆積しないかまたはつれなくない fact13: 仮にあるものが代位するしそれは一呼吸であるならば干渉しない fact14: もしとあるものが発病しないとするとそれは危うしけど含み込むということはない fact15: この心理的成長が発病するとしたらこのサンちゃんは吐き終わらないか成就致すかもしくは両方である fact16: この心理的成長は成就致すかまたは準拠するかあるいはどちらもである fact17: 何かは組み合わせないしおまけにそれは相談し易くない ; $hypothesis$ = 「その錐体外路系は危うし一方で含み込まない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この心理的成長は発病する; fact15 & assump1 -> int1: このサンちゃんは吐き終わらないかもしくは成就致すかもしくは両方である; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: この心理的成長は発病しない; int3 & fact8 -> int4: 「この心理的成長はつれないがしかしそれは堆積しない」ということは嘘だ; int4 & fact7 -> int5: その第一セクターは干渉しない; int5 & fact4 -> hypothesis; __PROVED__
事実1: 「このサンちゃんは答え難くない」ということは正しい
事実2: もしなにがしかの物がインストール出来ないとすると際限無いしまた一呼吸である
事実3: 答え難くないものは見過ごし難いか打ち上がり易い
事実4: もしその第一セクターは干渉しないならば「その錐体外路系は危うしけれど含み込まない」ということは偽である
事実5: もしも「組み合わせないしおまけに相談し易くない」物があるとしたらこのサンちゃんはインストール出来ない
事実6: 打ち上がり易い物は代位する
事実7: もしも「この心理的成長はつれない一方で堆積しない」ということは成り立たないとすると「その第一セクターは干渉しない」ということは確かである
事実8: もし仮にこの心理的成長は発病しないならば「「つれないけれど堆積しない」ということは事実である」ということは偽だ
事実9: もし仮にこのサンちゃんが見過ごし難いとすればそれは代位する
事実10: 「このサンちゃんは吐き終わらないかもしくはそれは成就致すかもしくはどちらもである」ということは成り立たない
事実11: あの危機対応勘定は干渉する
事実12: 仮にこのサンちゃんが干渉しないならこの心理的成長は堆積しないかまたはつれなくない
事実13: 仮にあるものが代位するしそれは一呼吸であるならば干渉しない
事実14: もしとあるものが発病しないとするとそれは危うしけど含み込むということはない
事実15: この心理的成長が発病するとしたらこのサンちゃんは吐き終わらないか成就致すかもしくは両方である
事実16: この心理的成長は成就致すかまたは準拠するかあるいはどちらもである
事実17: 何かは組み合わせないしおまけにそれは相談し易くない

仮説: 「その錐体外路系は危うし一方で含み込まない」ということは誤っている
1. 仮定1: 以下のように仮定する。この心理的成長は発病する
2. 事実15と仮定1から、推論1: "このサンちゃんは吐き終わらないかもしくは成就致すかもしくは両方である"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この心理的成長は発病しない"が導かれる
5. 推論3と事実8から、推論4: "「この心理的成長はつれないがしかしそれは堆積しない」ということは嘘だ"が導かれる
6. 推論4と事実7から、推論5: "その第一セクターは干渉しない"が導かれる
7. 推論5と事実4から、仮説が導かれる

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