その屎尿浄化槽清掃業は思わさない
fact1: もしも「何らかのものは怖ーくない」ということは成り立つとすれば「噛み締めるしそれは現われ難い」ということは成り立つということはない fact2: 仮に「とあるものは成功出来ないけれどそれは杉桶である」ということは真実だということはないとすると怖ーくない fact3: この一因は思わすか継続しないかあるいはどちらもである fact4: もし仮にとあるものは囲い込まないならば「それは成功出来ないしその上それは杉桶だ」ということは間違っている fact5: もし仮にこの一因が対質でないか継続しないか両方ならばその屎尿浄化槽清掃業は思わす fact6: この一因は対質だということはないかまたは継続しないか両方ともだ fact7: もし仮にこの一因が思わしないか継続しないかあるいは両方ともであるとしたらその屎尿浄化槽清掃業は対質である
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
「その屎尿浄化槽清掃業は思わさない」ということは誤っていない
fact8 -> int1: 仮にこの一因は怖ーくないとすれば「噛み締めるしそれは現われ難い」ということは誤っている; fact10 -> int2: もし「この一因は成功出来ない一方で杉桶だ」ということは誤りならば怖ーくない; fact9 -> int3: この一因は囲い込まないとすれば「成功出来なくてしかも杉桶である」ということは誤っている;
$facts$ = fact1: もしも「何らかのものは怖ーくない」ということは成り立つとすれば「噛み締めるしそれは現われ難い」ということは成り立つということはない fact2: 仮に「とあるものは成功出来ないけれどそれは杉桶である」ということは真実だということはないとすると怖ーくない fact3: この一因は思わすか継続しないかあるいはどちらもである fact4: もし仮にとあるものは囲い込まないならば「それは成功出来ないしその上それは杉桶だ」ということは間違っている fact5: もし仮にこの一因が対質でないか継続しないか両方ならばその屎尿浄化槽清掃業は思わす fact6: この一因は対質だということはないかまたは継続しないか両方ともだ fact7: もし仮にこの一因が思わしないか継続しないかあるいは両方ともであるとしたらその屎尿浄化槽清掃業は対質である ; $hypothesis$ = その屎尿浄化槽清掃業は思わさない ; $proof$ = 
fact5 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「何らかのものは怖ーくない」ということは成り立つとすれば「噛み締めるしそれは現われ難い」ということは成り立つということはない
事実2: 仮に「とあるものは成功出来ないけれどそれは杉桶である」ということは真実だということはないとすると怖ーくない
事実3: この一因は思わすか継続しないかあるいはどちらもである
事実4: もし仮にとあるものは囲い込まないならば「それは成功出来ないしその上それは杉桶だ」ということは間違っている
事実5: もし仮にこの一因が対質でないか継続しないか両方ならばその屎尿浄化槽清掃業は思わす
事実6: この一因は対質だということはないかまたは継続しないか両方ともだ
事実7: もし仮にこの一因が思わしないか継続しないかあるいは両方ともであるとしたらその屎尿浄化槽清掃業は対質である

仮説: その屎尿浄化槽清掃業は思わさない
1. 事実5と事実6から、仮説が否定される

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