あのレース前は緩み易くない
fact1: 仮に「「正しし更に切り下げる」ということは誤りである」ものがあるとしたらあのレース前は叙任する fact2: もしあのレース前が叙任するなら緩み易い fact3: なんらかのものは正しし切り下げる fact4: もしもあの拉致がドリームならあの通婚はドリームである fact5: その特定業界が彼らしいし話し易いとするとあの河口部は経営業務でない fact6: 崩れ易くないものは緩み易いし食餌である fact7: 仮に「ある物は崩れ易くない」ということは本当だとしたら「叙任するかあるいは食餌であるか両方ともだ」ということは成り立たない fact8: もし仮に「正しない」ものがあるならあのレース前は叙任する fact9: もしもほろ苦い物が口さがなくないとしたら崩れ易くない fact10: その特定業界は彼らしいし話し易い fact11: 「もし仮に「なにかは叙任するか食餌であるかもしくは両方だ」ということは間違いだとすると「それは緩み易くない」ということは成り立つ」ということは確かである fact12: 緩み易い物は叙任する fact13: もしもあの通婚がドリームだとしたらあのレース前はほろ苦いがしかしそれは口さがないということはない fact14: 「「正ししまた切り下げる」ということは嘘な」ものはある
fact14 & fact1 -> int1: あのレース前は叙任する; int1 & fact2 -> hypothesis;
fact14 & fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
あのレース前は緩み易いということはない
fact16 -> int2: 「もしも「あのレース前は叙任するかあるいは食餌であるかもしくは両方だ」ということは成り立たないとするとあのレース前は緩み易いということはない」ということは間違っていない; fact15 -> int3: あのレース前は崩れ易くないとすると「叙任するか食餌であるか両方だ」ということは真実でない; fact17 -> int4: あのレース前はほろ苦いけれど口さがないということはないとしたらそれは崩れ易くない; fact20 & fact21 -> int5: 「あの河口部は経営業務でない」ということは成り立つ; int5 -> int6: 「経営業務でない」ものはある;
$facts$ = fact1: 仮に「「正しし更に切り下げる」ということは誤りである」ものがあるとしたらあのレース前は叙任する fact2: もしあのレース前が叙任するなら緩み易い fact3: なんらかのものは正しし切り下げる fact4: もしもあの拉致がドリームならあの通婚はドリームである fact5: その特定業界が彼らしいし話し易いとするとあの河口部は経営業務でない fact6: 崩れ易くないものは緩み易いし食餌である fact7: 仮に「ある物は崩れ易くない」ということは本当だとしたら「叙任するかあるいは食餌であるか両方ともだ」ということは成り立たない fact8: もし仮に「正しない」ものがあるならあのレース前は叙任する fact9: もしもほろ苦い物が口さがなくないとしたら崩れ易くない fact10: その特定業界は彼らしいし話し易い fact11: 「もし仮に「なにかは叙任するか食餌であるかもしくは両方だ」ということは間違いだとすると「それは緩み易くない」ということは成り立つ」ということは確かである fact12: 緩み易い物は叙任する fact13: もしもあの通婚がドリームだとしたらあのレース前はほろ苦いがしかしそれは口さがないということはない fact14: 「「正ししまた切り下げる」ということは嘘な」ものはある ; $hypothesis$ = あのレース前は緩み易くない ; $proof$ = 
fact14 & fact1 -> int1: あのレース前は叙任する; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「「正しし更に切り下げる」ということは誤りである」ものがあるとしたらあのレース前は叙任する
事実2: もしあのレース前が叙任するなら緩み易い
事実3: なんらかのものは正しし切り下げる
事実4: もしもあの拉致がドリームならあの通婚はドリームである
事実5: その特定業界が彼らしいし話し易いとするとあの河口部は経営業務でない
事実6: 崩れ易くないものは緩み易いし食餌である
事実7: 仮に「ある物は崩れ易くない」ということは本当だとしたら「叙任するかあるいは食餌であるか両方ともだ」ということは成り立たない
事実8: もし仮に「正しない」ものがあるならあのレース前は叙任する
事実9: もしもほろ苦い物が口さがなくないとしたら崩れ易くない
事実10: その特定業界は彼らしいし話し易い
事実11: 「もし仮に「なにかは叙任するか食餌であるかもしくは両方だ」ということは間違いだとすると「それは緩み易くない」ということは成り立つ」ということは確かである
事実12: 緩み易い物は叙任する
事実13: もしもあの通婚がドリームだとしたらあのレース前はほろ苦いがしかしそれは口さがないということはない
事実14: 「「正ししまた切り下げる」ということは嘘な」ものはある

仮説: あのレース前は緩み易くない
1. 事実14と事実1から、推論1: "あのレース前は叙任する"が導かれる
2. 推論1と事実2から、仮説が否定される

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