「この最大手はごっついし更に螺子部である」ということは偽である
fact1: この最大手は螺子部である fact2: 何もかもは把握し難い fact3: 全ての物は大差無い fact4: 何かは大差無いしまた把握し難いならばこの文明開化は実演家等保護条約でない fact5: もしも「何かは後退らない」ということは真実であるとするとそれはごっついし螺子部である fact6: この最大手はごっつい fact7: もし仮に「そのクリッピングは設計し直しないかあるいは後退らないかどちらもだ」ということは間違っているとすれば「この最大手は後退らない」ということは確かである fact8: その一号被保険者はごっつい fact9: もし仮にとある物が実演家等保護条約でないとすれば設計し直す一方で後退らない fact10: この最大手は嫌らしい
fact6 & fact1 -> hypothesis;
fact6 & fact1 -> hypothesis;
「この最大手はごっついし螺子部だ」ということは誤りである
$facts$ = fact1: この最大手は螺子部である fact2: 何もかもは把握し難い fact3: 全ての物は大差無い fact4: 何かは大差無いしまた把握し難いならばこの文明開化は実演家等保護条約でない fact5: もしも「何かは後退らない」ということは真実であるとするとそれはごっついし螺子部である fact6: この最大手はごっつい fact7: もし仮に「そのクリッピングは設計し直しないかあるいは後退らないかどちらもだ」ということは間違っているとすれば「この最大手は後退らない」ということは確かである fact8: その一号被保険者はごっつい fact9: もし仮にとある物が実演家等保護条約でないとすれば設計し直す一方で後退らない fact10: この最大手は嫌らしい ; $hypothesis$ = 「この最大手はごっついし更に螺子部である」ということは偽である ; $proof$ = 
fact6 & fact1 -> hypothesis; __DISPROVED__
事実1: この最大手は螺子部である
事実2: 何もかもは把握し難い
事実3: 全ての物は大差無い
事実4: 何かは大差無いしまた把握し難いならばこの文明開化は実演家等保護条約でない
事実5: もしも「何かは後退らない」ということは真実であるとするとそれはごっついし螺子部である
事実6: この最大手はごっつい
事実7: もし仮に「そのクリッピングは設計し直しないかあるいは後退らないかどちらもだ」ということは間違っているとすれば「この最大手は後退らない」ということは確かである
事実8: その一号被保険者はごっつい
事実9: もし仮にとある物が実演家等保護条約でないとすれば設計し直す一方で後退らない
事実10: この最大手は嫌らしい

仮説: 「この最大手はごっついし更に螺子部である」ということは偽である
1. 事実6と事実1から、仮説が否定される

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