この税引き後利益はそつ無くない
fact1: どれもこれもは小便しない fact2: この簡略化はそつ無い fact3: あるものはローマジパンでないとすると「そつ無いしかつ抜去する」ということは偽でない fact4: この税引き後利益は取り難い fact5: 仮に何らかのものは小便するということはないしエントリーしないとしたらそれは物足りない fact6: もし仮に「何らかの物は抜去するかあるいはそれはローマジパンであるかまたは両方ともである」ということは偽であるならばそれはそつ無くない fact7: この税引き後利益はそつ無い
fact7 -> hypothesis;
fact7 -> hypothesis;
この税引き後利益はそつ無くない
fact10 -> int1: もしも「この税引き後利益は抜去するかローマジパンであるかあるいはどちらもである」ということは成り立つということはないならそれはそつ無くない; fact9 -> int2: あのＴ邸が小便しなくてそれがエントリーしないとしたらそれは物足りない; fact8 -> int3: この真鰯は小便しない;
$facts$ = fact1: どれもこれもは小便しない fact2: この簡略化はそつ無い fact3: あるものはローマジパンでないとすると「そつ無いしかつ抜去する」ということは偽でない fact4: この税引き後利益は取り難い fact5: 仮に何らかのものは小便するということはないしエントリーしないとしたらそれは物足りない fact6: もし仮に「何らかの物は抜去するかあるいはそれはローマジパンであるかまたは両方ともである」ということは偽であるならばそれはそつ無くない fact7: この税引き後利益はそつ無い ; $hypothesis$ = この税引き後利益はそつ無くない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: どれもこれもは小便しない
事実2: この簡略化はそつ無い
事実3: あるものはローマジパンでないとすると「そつ無いしかつ抜去する」ということは偽でない
事実4: この税引き後利益は取り難い
事実5: 仮に何らかのものは小便するということはないしエントリーしないとしたらそれは物足りない
事実6: もし仮に「何らかの物は抜去するかあるいはそれはローマジパンであるかまたは両方ともである」ということは偽であるならばそれはそつ無くない
事実7: この税引き後利益はそつ無い

仮説: この税引き後利益はそつ無くない
1. 事実7から、仮説が否定される

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