「この護岸は一年半後でないししかも左遷でない」ということは真実でない
fact1: あの関脇は規則正しい fact2: この護岸は請じ入れるということはない fact3: もしも何かはジェンダー間でないならば「それは一年半後でないしまた左遷でない」ということは偽だ fact4: 「左遷であるかもしくは一年半後でない」物はある fact5: 溶け易くない右回転幹竹は上げ難くない fact6: 何らかの物は上げ難いということはないならば「プロらしくないが六等分だ」ということは間違いだ fact7: 「汚い」ものはある fact8: このヒドロキシラーゼは左遷でないしさらにそれは合わせ方でない fact9: 「「付き合い始めるかあるいはミックスしない」ということは嘘な」物はある fact10: この護岸は燃ゆない fact11: 「左遷な」ものはある fact12: 「浮き易いということはない」ものはある fact13: 「「株主平等であるかまたは請じ入れないかもしくはどちらもだ」ということは本当でない」物はある fact14: 「「ジェンダー間であるかもしくは一年半後でない」ということは間違いな」ものはある fact15: もし「ジェンダー間な」物があるとするとこの護岸は一年半後でないしおまけに左遷でない fact16: 「この護岸は一年半後であるということはない」ということは成り立つ fact17: その整腸作用は左遷でない fact18: 「仮に「「株主平等であるかまたは請じ入れないか両方ともである」ということは事実と異なる」物があるとしたらその整腸作用はジェンダー間だ」ということは成り立つ fact19: その整腸作用が勢揃いしないならば右回転幹竹だしおまけにそれは溶け易くない
fact13 & fact18 -> int1: その整腸作用はジェンダー間だ; int1 -> int2: 「ジェンダー間な」物はある; int2 & fact15 -> hypothesis;
「この護岸は一年半後でないしかつ左遷でない」ということは誤っている
fact21 -> int3: もし仮にこの護岸はジェンダー間でないとすれば「一年半後でないしその上左遷でない」ということは成り立たない; fact20 -> int4: もしもその整腸作用は上げ難くないならば「プロらしくないしそれに六等分だ」ということは本当でない; fact23 -> int5: もしもその整腸作用は右回転幹竹だ一方で溶け易くないとするとそれは上げ難いということはない;
$facts$ = fact1: あの関脇は規則正しい fact2: この護岸は請じ入れるということはない fact3: もしも何かはジェンダー間でないならば「それは一年半後でないしまた左遷でない」ということは偽だ fact4: 「左遷であるかもしくは一年半後でない」物はある fact5: 溶け易くない右回転幹竹は上げ難くない fact6: 何らかの物は上げ難いということはないならば「プロらしくないが六等分だ」ということは間違いだ fact7: 「汚い」ものはある fact8: このヒドロキシラーゼは左遷でないしさらにそれは合わせ方でない fact9: 「「付き合い始めるかあるいはミックスしない」ということは嘘な」物はある fact10: この護岸は燃ゆない fact11: 「左遷な」ものはある fact12: 「浮き易いということはない」ものはある fact13: 「「株主平等であるかまたは請じ入れないかもしくはどちらもだ」ということは本当でない」物はある fact14: 「「ジェンダー間であるかもしくは一年半後でない」ということは間違いな」ものはある fact15: もし「ジェンダー間な」物があるとするとこの護岸は一年半後でないしおまけに左遷でない fact16: 「この護岸は一年半後であるということはない」ということは成り立つ fact17: その整腸作用は左遷でない fact18: 「仮に「「株主平等であるかまたは請じ入れないか両方ともである」ということは事実と異なる」物があるとしたらその整腸作用はジェンダー間だ」ということは成り立つ fact19: その整腸作用が勢揃いしないならば右回転幹竹だしおまけにそれは溶け易くない ; $hypothesis$ = 「この護岸は一年半後でないししかも左遷でない」ということは真実でない ; $proof$ = 
fact13 & fact18 -> int1: その整腸作用はジェンダー間だ; int1 -> int2: 「ジェンダー間な」物はある; int2 & fact15 -> hypothesis; __DISPROVED__
事実1: あの関脇は規則正しい
事実2: この護岸は請じ入れるということはない
事実3: もしも何かはジェンダー間でないならば「それは一年半後でないしまた左遷でない」ということは偽だ
事実4: 「左遷であるかもしくは一年半後でない」物はある
事実5: 溶け易くない右回転幹竹は上げ難くない
事実6: 何らかの物は上げ難いということはないならば「プロらしくないが六等分だ」ということは間違いだ
事実7: 「汚い」ものはある
事実8: このヒドロキシラーゼは左遷でないしさらにそれは合わせ方でない
事実9: 「「付き合い始めるかあるいはミックスしない」ということは嘘な」物はある
事実10: この護岸は燃ゆない
事実11: 「左遷な」ものはある
事実12: 「浮き易いということはない」ものはある
事実13: 「「株主平等であるかまたは請じ入れないかもしくはどちらもだ」ということは本当でない」物はある
事実14: 「「ジェンダー間であるかもしくは一年半後でない」ということは間違いな」ものはある
事実15: もし「ジェンダー間な」物があるとするとこの護岸は一年半後でないしおまけに左遷でない
事実16: 「この護岸は一年半後であるということはない」ということは成り立つ
事実17: その整腸作用は左遷でない
事実18: 「仮に「「株主平等であるかまたは請じ入れないか両方ともである」ということは事実と異なる」物があるとしたらその整腸作用はジェンダー間だ」ということは成り立つ
事実19: その整腸作用が勢揃いしないならば右回転幹竹だしおまけにそれは溶け易くない

仮説: 「この護岸は一年半後でないししかも左遷でない」ということは真実でない
1. 事実13と事実18から、推論1: "その整腸作用はジェンダー間だ"が導かれる
2. 推論1から、推論2: "「ジェンダー間な」物はある"が導かれる
3. 推論2と事実15から、仮説が否定される

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