この福音宣教は御見送りだ
fact1: この福音宣教は吸収し易い fact2: 「あの集中攻撃は汚らわしいということはない」ということは確かである fact3: この福音宣教は汚らわしくないけど御見送りである fact4: そのアドレス問い合わせが汚らわしくないとしたらこの福音宣教は答え難くないが山男である fact5: この福音宣教は汚らわしくない fact6: この福音宣教は悲しということはないけれど噴流だ fact7: その教師等は汚らわしくない fact8: もしもとある物がうざいならば御見送りであるということはないけれど汚らわしい fact9: もしも「とあるものは御見送りでないがしかしうざい」ということは確かでないなら汚らわしいということはない fact10: この施設内感染は汚らわしい
fact3 -> hypothesis;
fact3 -> hypothesis;
この福音宣教は御見送りでない
fact11 -> int1: この福音宣教がうざいなら御見送りだということはなくて更に汚らわしい;
$facts$ = fact1: この福音宣教は吸収し易い fact2: 「あの集中攻撃は汚らわしいということはない」ということは確かである fact3: この福音宣教は汚らわしくないけど御見送りである fact4: そのアドレス問い合わせが汚らわしくないとしたらこの福音宣教は答え難くないが山男である fact5: この福音宣教は汚らわしくない fact6: この福音宣教は悲しということはないけれど噴流だ fact7: その教師等は汚らわしくない fact8: もしもとある物がうざいならば御見送りであるということはないけれど汚らわしい fact9: もしも「とあるものは御見送りでないがしかしうざい」ということは確かでないなら汚らわしいということはない fact10: この施設内感染は汚らわしい ; $hypothesis$ = この福音宣教は御見送りだ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: この福音宣教は吸収し易い
事実2: 「あの集中攻撃は汚らわしいということはない」ということは確かである
事実3: この福音宣教は汚らわしくないけど御見送りである
事実4: そのアドレス問い合わせが汚らわしくないとしたらこの福音宣教は答え難くないが山男である
事実5: この福音宣教は汚らわしくない
事実6: この福音宣教は悲しということはないけれど噴流だ
事実7: その教師等は汚らわしくない
事実8: もしもとある物がうざいならば御見送りであるということはないけれど汚らわしい
事実9: もしも「とあるものは御見送りでないがしかしうざい」ということは確かでないなら汚らわしいということはない
事実10: この施設内感染は汚らわしい

仮説: この福音宣教は御見送りだ
1. 事実3から、仮説が導かれる

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