「とある物は齎し得るか回りくどい」ということは正しくない
fact1: なにかは齎し得るとしたらそれは寄与である fact2: もし仮にあの個人レッスンは割れ易くなくてかつ黄色っぽくないとしたらそれは上梓出来ない fact3: もしもこの心室頻拍が齎し得ないかまたは立ち行かないならばその大動脈は割れ易いということはない fact4: その大動脈は暑くない fact5: あの個人レッスンは所定期日でないししかも小回りでない fact6: もし仮に「この心室頻拍は信貴霊園でないがそれは繁殖し易い」ということは偽だとすればそれは回りくどい fact7: この追い立ては暑くて加えてそれは上梓出来る fact8: その考えは立ち行かない fact9: 「この心室頻拍は回りくどいということはない」ということは正しい fact10: その大動脈が割れ易くないとするとあの個人レッスンは寄与でなくて割れ易いということはない fact11: もしこの心室頻拍が回りくどくないとしたらそれは割れ易いしかつ黄色っぽい fact12: 「なにがしかのものは繁殖し易くない一方で信貴霊園である」ということは嘘であるとしたらそれは黄色っぽい fact13: もしもこの追い立ては暑いとすると「あの個人レッスンは繁殖し易くないけど信貴霊園である」ということは誤りである fact14: もしも何らかの物が寄与でなくてかつそれが割れ易いということはないとすれば黄色っぽくない
void -> assump1: 以下のように仮定する。この心室頻拍は齎し得ない; assump1 -> int1: この心室頻拍は齎し得ないかそれは立ち行かない; int1 & fact3 -> int2: 「その大動脈は割れ易くない」ということは成り立つ; int2 & fact10 -> int3: あの個人レッスンは寄与でなくて更にそれは割れ易いということはない; fact14 -> int4: もしもあの個人レッスンが寄与でないし加えて割れ易くないとするとそれは黄色っぽくない; int3 & int4 -> int5: 「あの個人レッスンは黄色っぽくない」ということは真実だ; fact7 -> int6: この追い立ては暑い; int6 & fact13 -> int7: 「「あの個人レッスンは繁殖し易くない一方で信貴霊園だ」ということは成り立つ」ということは正しくない; fact12 -> int8: 「あの個人レッスンは繁殖し易くないが信貴霊園である」ということは成り立たないなら黄色っぽい; int7 & int8 -> int9: 「あの個人レッスンは黄色っぽい」ということは確かである; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: この心室頻拍は齎し得る; int11 -> int12: この心室頻拍は齎し得るかあるいはそれは回りくどいかまたはどちらもである; int12 -> hypothesis;
このタラゴンは受領出来るかもしくは寄与であるかあるいはどちらもである
fact15 -> int13: もしもこのタラゴンは齎し得るなら「それは寄与である」ということは真実である; fact16 & fact17 -> int14: この心室頻拍は割れ易くてそれに黄色っぽい; int14 -> int15: 「この心室頻拍は割れ易い」ということは確かである; int15 -> int16: 「割れ易い」ものはある;
$facts$ = fact1: なにかは齎し得るとしたらそれは寄与である fact2: もし仮にあの個人レッスンは割れ易くなくてかつ黄色っぽくないとしたらそれは上梓出来ない fact3: もしもこの心室頻拍が齎し得ないかまたは立ち行かないならばその大動脈は割れ易いということはない fact4: その大動脈は暑くない fact5: あの個人レッスンは所定期日でないししかも小回りでない fact6: もし仮に「この心室頻拍は信貴霊園でないがそれは繁殖し易い」ということは偽だとすればそれは回りくどい fact7: この追い立ては暑くて加えてそれは上梓出来る fact8: その考えは立ち行かない fact9: 「この心室頻拍は回りくどいということはない」ということは正しい fact10: その大動脈が割れ易くないとするとあの個人レッスンは寄与でなくて割れ易いということはない fact11: もしこの心室頻拍が回りくどくないとしたらそれは割れ易いしかつ黄色っぽい fact12: 「なにがしかのものは繁殖し易くない一方で信貴霊園である」ということは嘘であるとしたらそれは黄色っぽい fact13: もしもこの追い立ては暑いとすると「あの個人レッスンは繁殖し易くないけど信貴霊園である」ということは誤りである fact14: もしも何らかの物が寄与でなくてかつそれが割れ易いということはないとすれば黄色っぽくない ; $hypothesis$ = 「とある物は齎し得るか回りくどい」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この心室頻拍は齎し得ない; assump1 -> int1: この心室頻拍は齎し得ないかそれは立ち行かない; int1 & fact3 -> int2: 「その大動脈は割れ易くない」ということは成り立つ; int2 & fact10 -> int3: あの個人レッスンは寄与でなくて更にそれは割れ易いということはない; fact14 -> int4: もしもあの個人レッスンが寄与でないし加えて割れ易くないとするとそれは黄色っぽくない; int3 & int4 -> int5: 「あの個人レッスンは黄色っぽくない」ということは真実だ; fact7 -> int6: この追い立ては暑い; int6 & fact13 -> int7: 「「あの個人レッスンは繁殖し易くない一方で信貴霊園だ」ということは成り立つ」ということは正しくない; fact12 -> int8: 「あの個人レッスンは繁殖し易くないが信貴霊園である」ということは成り立たないなら黄色っぽい; int7 & int8 -> int9: 「あの個人レッスンは黄色っぽい」ということは確かである; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: この心室頻拍は齎し得る; int11 -> int12: この心室頻拍は齎し得るかあるいはそれは回りくどいかまたはどちらもである; int12 -> hypothesis; __DISPROVED__
事実1: なにかは齎し得るとしたらそれは寄与である
事実2: もし仮にあの個人レッスンは割れ易くなくてかつ黄色っぽくないとしたらそれは上梓出来ない
事実3: もしもこの心室頻拍が齎し得ないかまたは立ち行かないならばその大動脈は割れ易いということはない
事実4: その大動脈は暑くない
事実5: あの個人レッスンは所定期日でないししかも小回りでない
事実6: もし仮に「この心室頻拍は信貴霊園でないがそれは繁殖し易い」ということは偽だとすればそれは回りくどい
事実7: この追い立ては暑くて加えてそれは上梓出来る
事実8: その考えは立ち行かない
事実9: 「この心室頻拍は回りくどいということはない」ということは正しい
事実10: その大動脈が割れ易くないとするとあの個人レッスンは寄与でなくて割れ易いということはない
事実11: もしこの心室頻拍が回りくどくないとしたらそれは割れ易いしかつ黄色っぽい
事実12: 「なにがしかのものは繁殖し易くない一方で信貴霊園である」ということは嘘であるとしたらそれは黄色っぽい
事実13: もしもこの追い立ては暑いとすると「あの個人レッスンは繁殖し易くないけど信貴霊園である」ということは誤りである
事実14: もしも何らかの物が寄与でなくてかつそれが割れ易いということはないとすれば黄色っぽくない

仮説: 「とある物は齎し得るか回りくどい」ということは正しくない
1. 仮定1: 以下のように仮定する。この心室頻拍は齎し得ない
2. 仮定1から、推論1: "この心室頻拍は齎し得ないかそれは立ち行かない"が導かれる
3. 推論1と事実3から、推論2: "「その大動脈は割れ易くない」ということは成り立つ"が導かれる
4. 推論2と事実10から、推論3: "あの個人レッスンは寄与でなくて更にそれは割れ易いということはない"が導かれる
5. 事実14から、推論4: "もしもあの個人レッスンが寄与でないし加えて割れ易くないとするとそれは黄色っぽくない"が導かれる
6. 推論3と推論4から、推論5: "「あの個人レッスンは黄色っぽくない」ということは真実だ"が導かれる
7. 事実7から、推論6: "この追い立ては暑い"が導かれる
8. 推論6と事実13から、推論7: "「「あの個人レッスンは繁殖し易くない一方で信貴霊園だ」ということは成り立つ」ということは正しくない"が導かれる
9. 事実12から、推論8: "「あの個人レッスンは繁殖し易くないが信貴霊園である」ということは成り立たないなら黄色っぽい"が導かれる
10. 推論7と推論8から、推論9: "「あの個人レッスンは黄色っぽい」ということは確かである"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "この心室頻拍は齎し得る"が導かれる
13. 推論11から、推論12: "この心室頻拍は齎し得るかあるいはそれは回りくどいかまたはどちらもである"が導かれる
14. 推論12から、仮説が否定される

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