「この朗読は閘門であるしおまけに隆盛する」ということは成り立つ
fact1: 止む無くないものは授産でないし御叱りでない fact2: もし仮にこの朗読は閘門でないとしたら「あの再延長はネガティブフィードバックで更に隆盛する」ということは嘘だ fact3: 止む無くない物は授産でないかまたはネガティブフィードバックでないかあるいはどちらもだ fact4: 仮にとあるものは授産でなくて御叱りでないとしたらネガティブフィードバックであるということはない fact5: 「この朗読はネガティブフィードバックだし加えて閘門である」ということは誤っている fact6: もし仮にこの朗読がネガティブフィードバックでないとするとあの再延長は隆盛しないししかも御叱りでない fact7: そのホワイトメタルはネガティブフィードバックでない fact8: もしそのリベラリストが上昇し始めるしおまけに心置き無いとしたらこの経済的資源は止む無くない fact9: もし仮にあの再延長が隆盛しなくて御叱りでないとしたらこのリフトは隆盛しない fact10: 仮にあの再延長はネガティブフィードバックでないとすると「この朗読は閘門であるし加えて隆盛する」ということは成り立たない fact11: あの再延長はネガティブフィードバックでない
fact10 & fact11 -> hypothesis;
fact10 & fact11 -> hypothesis;
この朗読は閘門であるし加えてそれは隆盛する
fact12 -> int1: 仮にこの朗読が授産でないしそれは御叱りでないならネガティブフィードバックでない; fact13 -> int2: この朗読が止む無くないとしたらそれは授産でなくてそれは御叱りでない;
$facts$ = fact1: 止む無くないものは授産でないし御叱りでない fact2: もし仮にこの朗読は閘門でないとしたら「あの再延長はネガティブフィードバックで更に隆盛する」ということは嘘だ fact3: 止む無くない物は授産でないかまたはネガティブフィードバックでないかあるいはどちらもだ fact4: 仮にとあるものは授産でなくて御叱りでないとしたらネガティブフィードバックであるということはない fact5: 「この朗読はネガティブフィードバックだし加えて閘門である」ということは誤っている fact6: もし仮にこの朗読がネガティブフィードバックでないとするとあの再延長は隆盛しないししかも御叱りでない fact7: そのホワイトメタルはネガティブフィードバックでない fact8: もしそのリベラリストが上昇し始めるしおまけに心置き無いとしたらこの経済的資源は止む無くない fact9: もし仮にあの再延長が隆盛しなくて御叱りでないとしたらこのリフトは隆盛しない fact10: 仮にあの再延長はネガティブフィードバックでないとすると「この朗読は閘門であるし加えて隆盛する」ということは成り立たない fact11: あの再延長はネガティブフィードバックでない ; $hypothesis$ = 「この朗読は閘門であるしおまけに隆盛する」ということは成り立つ ; $proof$ = 
fact10 & fact11 -> hypothesis; __DISPROVED__
事実1: 止む無くないものは授産でないし御叱りでない
事実2: もし仮にこの朗読は閘門でないとしたら「あの再延長はネガティブフィードバックで更に隆盛する」ということは嘘だ
事実3: 止む無くない物は授産でないかまたはネガティブフィードバックでないかあるいはどちらもだ
事実4: 仮にとあるものは授産でなくて御叱りでないとしたらネガティブフィードバックであるということはない
事実5: 「この朗読はネガティブフィードバックだし加えて閘門である」ということは誤っている
事実6: もし仮にこの朗読がネガティブフィードバックでないとするとあの再延長は隆盛しないししかも御叱りでない
事実7: そのホワイトメタルはネガティブフィードバックでない
事実8: もしそのリベラリストが上昇し始めるしおまけに心置き無いとしたらこの経済的資源は止む無くない
事実9: もし仮にあの再延長が隆盛しなくて御叱りでないとしたらこのリフトは隆盛しない
事実10: 仮にあの再延長はネガティブフィードバックでないとすると「この朗読は閘門であるし加えて隆盛する」ということは成り立たない
事実11: あの再延長はネガティブフィードバックでない

仮説: 「この朗読は閘門であるしおまけに隆盛する」ということは成り立つ
1. 事実10と事実11から、仮説が否定される

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