あの利点は利用しない
fact1: あの利点は祈り続けない fact2: その川中は利用しない fact3: 「あの利点は利用しない」ということは真実だ fact4: あの病原性型は利用しない fact5: もしあの利点が利用するしそれが繰り越しすればその感情移入は利用しない fact6: あの職階は利用しない fact7: あのこっち側が得すないとしたらそのアタマンは燃え盛るししかも御勧めする fact8: その感情移入は利用しない fact9: そのアタマンは落ち着けるかまたは壊れ難くないなら「その申し立て書は落ち着ける」ということは成り立つということはない fact10: あの二千年以降は長ーい fact11: もし「その申し立て書は落ち着ける」ということは成り立たないとしたらあの利点は繰り越しするしおまけに利用する fact12: あの利点は電気集塵でない fact13: あの利点は冠動脈疾患だということはない fact14: 「あの過信は利用しない」ということは真実だ fact15: なにがしかの物が壊れ難くないとすれば落ち着けるしそれは繰り越しする fact16: あの利点は成り得ない fact17: 仮に「あるものは燃え盛るけれど御勧めしない」ということは間違っているとしたらそれは壊れ難いということはない fact18: 仮にあの二千年以降は長ーいならば「それは破れ難くなくて得す」ということは誤っている fact19: そのＸ座標は利用しない
fact3 -> hypothesis;
あの利点は利用する
fact24 & fact20 -> int1: 「あの二千年以降は破れ難くないけれどそれは得す」ということは誤っている; int1 -> int2: 「「破れ難くなくて得す」ということは成り立つということはない」ものはある;
$facts$ = fact1: あの利点は祈り続けない fact2: その川中は利用しない fact3: 「あの利点は利用しない」ということは真実だ fact4: あの病原性型は利用しない fact5: もしあの利点が利用するしそれが繰り越しすればその感情移入は利用しない fact6: あの職階は利用しない fact7: あのこっち側が得すないとしたらそのアタマンは燃え盛るししかも御勧めする fact8: その感情移入は利用しない fact9: そのアタマンは落ち着けるかまたは壊れ難くないなら「その申し立て書は落ち着ける」ということは成り立つということはない fact10: あの二千年以降は長ーい fact11: もし「その申し立て書は落ち着ける」ということは成り立たないとしたらあの利点は繰り越しするしおまけに利用する fact12: あの利点は電気集塵でない fact13: あの利点は冠動脈疾患だということはない fact14: 「あの過信は利用しない」ということは真実だ fact15: なにがしかの物が壊れ難くないとすれば落ち着けるしそれは繰り越しする fact16: あの利点は成り得ない fact17: 仮に「あるものは燃え盛るけれど御勧めしない」ということは間違っているとしたらそれは壊れ難いということはない fact18: 仮にあの二千年以降は長ーいならば「それは破れ難くなくて得す」ということは誤っている fact19: そのＸ座標は利用しない ; $hypothesis$ = あの利点は利用しない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの利点は祈り続けない
事実2: その川中は利用しない
事実3: 「あの利点は利用しない」ということは真実だ
事実4: あの病原性型は利用しない
事実5: もしあの利点が利用するしそれが繰り越しすればその感情移入は利用しない
事実6: あの職階は利用しない
事実7: あのこっち側が得すないとしたらそのアタマンは燃え盛るししかも御勧めする
事実8: その感情移入は利用しない
事実9: そのアタマンは落ち着けるかまたは壊れ難くないなら「その申し立て書は落ち着ける」ということは成り立つということはない
事実10: あの二千年以降は長ーい
事実11: もし「その申し立て書は落ち着ける」ということは成り立たないとしたらあの利点は繰り越しするしおまけに利用する
事実12: あの利点は電気集塵でない
事実13: あの利点は冠動脈疾患だということはない
事実14: 「あの過信は利用しない」ということは真実だ
事実15: なにがしかの物が壊れ難くないとすれば落ち着けるしそれは繰り越しする
事実16: あの利点は成り得ない
事実17: 仮に「あるものは燃え盛るけれど御勧めしない」ということは間違っているとしたらそれは壊れ難いということはない
事実18: 仮にあの二千年以降は長ーいならば「それは破れ難くなくて得す」ということは誤っている
事実19: そのＸ座標は利用しない

仮説: あの利点は利用しない
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。