あの付帯条件はごつかない
fact1: もしもあの御流れが着手し始めるとしたらあの付帯条件は思しくないし加えてそれは降り始めない fact2: 仮に「なにかは思しいけれどごつかない」ということは成り立たないならばごつい fact3: その利益積立金は思しい fact4: その分離型はごつい fact5: あの付帯条件は思しい fact6: 「あの付帯条件は締め殺す」ということは誤りでない fact7: もしも思しくないものが降り始めないとしたらそれはごつかない fact8: あの付帯条件はごついし更にそれは思しい fact9: この慢性蕁麻疹は思しい fact10: あの付帯条件は捏ち上げる fact11: あの付帯条件はへたばる
fact8 -> hypothesis;
fact8 -> hypothesis;
あの反応イオンはごつい
fact12 -> int1: 「あの反応イオンは思しいがしかしそれはごつかない」ということは間違いであるとするとそれはごつい;
$facts$ = fact1: もしもあの御流れが着手し始めるとしたらあの付帯条件は思しくないし加えてそれは降り始めない fact2: 仮に「なにかは思しいけれどごつかない」ということは成り立たないならばごつい fact3: その利益積立金は思しい fact4: その分離型はごつい fact5: あの付帯条件は思しい fact6: 「あの付帯条件は締め殺す」ということは誤りでない fact7: もしも思しくないものが降り始めないとしたらそれはごつかない fact8: あの付帯条件はごついし更にそれは思しい fact9: この慢性蕁麻疹は思しい fact10: あの付帯条件は捏ち上げる fact11: あの付帯条件はへたばる ; $hypothesis$ = あの付帯条件はごつかない ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: もしもあの御流れが着手し始めるとしたらあの付帯条件は思しくないし加えてそれは降り始めない
事実2: 仮に「なにかは思しいけれどごつかない」ということは成り立たないならばごつい
事実3: その利益積立金は思しい
事実4: その分離型はごつい
事実5: あの付帯条件は思しい
事実6: 「あの付帯条件は締め殺す」ということは誤りでない
事実7: もしも思しくないものが降り始めないとしたらそれはごつかない
事実8: あの付帯条件はごついし更にそれは思しい
事実9: この慢性蕁麻疹は思しい
事実10: あの付帯条件は捏ち上げる
事実11: あの付帯条件はへたばる

仮説: あの付帯条件はごつかない
1. 事実8から、仮説が否定される

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