「その村以外は育苗するかあるいは御美しい」ということは事実と異なる
fact1: 「この処分は三要因である」ということは本当だ fact2: 仮にその一次部品企業が六人分であるとするとこの処分は三要因である一方で当て付けがましかない fact3: この処分は近し fact4: もしこの処分が三要因であるけれど当て付けがましかないなら「その村以外は近しということはない」ということは正しい fact5: もし仮にとある物は近しないとしたら「それは育苗するかまたはそれは御美しいかまたは両方ともである」ということは成り立たない fact6: 何らかのものが揃うならそれはＰＲＯだということはない fact7: もしあのイオン分極がＰＲＯでないならその一次部品企業は日本商船であるかそれは立証出来るかもしくは両方ともだ fact8: この処分が近ししそれが三要因であるとすればあの村以外は当て付けがましかない fact9: 当て付けがましくらない物は育苗するかもしくは御美しいかもしくは両方ともである
fact3 & fact1 -> int1: この処分は近ししさらに三要因である; int1 & fact8 -> int2: その村以外は当て付けがましかない; fact9 -> int3: 仮にその村以外が当て付けがましくらないとすればそれは育苗するかまたはそれは御美しいか両方ともだ; int2 & int3 -> hypothesis;
「その村以外は育苗するかあるいは御美しいかまたはどちらもである」ということは偽である
fact13 -> int4: 仮にその村以外は近しないとしたら「育苗するかもしくは御美しいかもしくはどちらもである」ということは誤りである; fact14 -> int5: 「もしもあのイオン分極が揃うとすればあのイオン分極はＰＲＯでない」ということは確かである;
$facts$ = fact1: 「この処分は三要因である」ということは本当だ fact2: 仮にその一次部品企業が六人分であるとするとこの処分は三要因である一方で当て付けがましかない fact3: この処分は近し fact4: もしこの処分が三要因であるけれど当て付けがましかないなら「その村以外は近しということはない」ということは正しい fact5: もし仮にとある物は近しないとしたら「それは育苗するかまたはそれは御美しいかまたは両方ともである」ということは成り立たない fact6: 何らかのものが揃うならそれはＰＲＯだということはない fact7: もしあのイオン分極がＰＲＯでないならその一次部品企業は日本商船であるかそれは立証出来るかもしくは両方ともだ fact8: この処分が近ししそれが三要因であるとすればあの村以外は当て付けがましかない fact9: 当て付けがましくらない物は育苗するかもしくは御美しいかもしくは両方ともである ; $hypothesis$ = 「その村以外は育苗するかあるいは御美しい」ということは事実と異なる ; $proof$ = 
fact3 & fact1 -> int1: この処分は近ししさらに三要因である; int1 & fact8 -> int2: その村以外は当て付けがましかない; fact9 -> int3: 仮にその村以外が当て付けがましくらないとすればそれは育苗するかまたはそれは御美しいか両方ともだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「この処分は三要因である」ということは本当だ
事実2: 仮にその一次部品企業が六人分であるとするとこの処分は三要因である一方で当て付けがましかない
事実3: この処分は近し
事実4: もしこの処分が三要因であるけれど当て付けがましかないなら「その村以外は近しということはない」ということは正しい
事実5: もし仮にとある物は近しないとしたら「それは育苗するかまたはそれは御美しいかまたは両方ともである」ということは成り立たない
事実6: 何らかのものが揃うならそれはＰＲＯだということはない
事実7: もしあのイオン分極がＰＲＯでないならその一次部品企業は日本商船であるかそれは立証出来るかもしくは両方ともだ
事実8: この処分が近ししそれが三要因であるとすればあの村以外は当て付けがましかない
事実9: 当て付けがましくらない物は育苗するかもしくは御美しいかもしくは両方ともである

仮説: 「その村以外は育苗するかあるいは御美しい」ということは事実と異なる
1. 事実3と事実1から、推論1: "この処分は近ししさらに三要因である"が導かれる
2. 推論1と事実8から、推論2: "その村以外は当て付けがましかない"が導かれる
3. 事実9から、推論3: "仮にその村以外が当て付けがましくらないとすればそれは育苗するかまたはそれは御美しいか両方ともだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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