その修得は予防処置であるということはない
fact1: 仮に「「そのそそは程遠いがそれは都道府県等でない」ということは成り立たない」ということは本当であるとするとその小農民は程遠い fact2: もしその修得が程遠いとしたらそのそそは予防処置だ fact3: そのそそは程遠い fact4: もしもあるものは予防処置でないなら「程遠いが都道府県等でない」ということは成り立たない fact5: 仮にあるものは発行すらないかあるいは煩わしいかもしくは両方ともならばそれは予防処置でない fact6: そのそそは予防処置である fact7: そのそそが予防処置であるとしたらその修得は程遠い fact8: そのそそは移り難い fact9: もしもそのそそが程遠いならその修得は予防処置だ fact10: その修得は程遠い fact11: このＦＳＭは予防処置だ
fact9 & fact3 -> hypothesis;
fact9 & fact3 -> hypothesis;
その小農民は程遠い
fact14 -> int1: そのそそは予防処置でないとすれば「それは程遠いけれど都道府県等でない」ということは偽だ; fact13 -> int2: もしもそのそそが発行すらないかまたはそれが煩わしいとすれば予防処置でない;
$facts$ = fact1: 仮に「「そのそそは程遠いがそれは都道府県等でない」ということは成り立たない」ということは本当であるとするとその小農民は程遠い fact2: もしその修得が程遠いとしたらそのそそは予防処置だ fact3: そのそそは程遠い fact4: もしもあるものは予防処置でないなら「程遠いが都道府県等でない」ということは成り立たない fact5: 仮にあるものは発行すらないかあるいは煩わしいかもしくは両方ともならばそれは予防処置でない fact6: そのそそは予防処置である fact7: そのそそが予防処置であるとしたらその修得は程遠い fact8: そのそそは移り難い fact9: もしもそのそそが程遠いならその修得は予防処置だ fact10: その修得は程遠い fact11: このＦＳＭは予防処置だ ; $hypothesis$ = その修得は予防処置であるということはない ; $proof$ = 
fact9 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「「そのそそは程遠いがそれは都道府県等でない」ということは成り立たない」ということは本当であるとするとその小農民は程遠い
事実2: もしその修得が程遠いとしたらそのそそは予防処置だ
事実3: そのそそは程遠い
事実4: もしもあるものは予防処置でないなら「程遠いが都道府県等でない」ということは成り立たない
事実5: 仮にあるものは発行すらないかあるいは煩わしいかもしくは両方ともならばそれは予防処置でない
事実6: そのそそは予防処置である
事実7: そのそそが予防処置であるとしたらその修得は程遠い
事実8: そのそそは移り難い
事実9: もしもそのそそが程遠いならその修得は予防処置だ
事実10: その修得は程遠い
事実11: このＦＳＭは予防処置だ

仮説: その修得は予防処置であるということはない
1. 事実9と事実3から、仮説が否定される

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