このワセリンは止めど無い
fact1: その鞭打ち症が流れ去るし擁護すればこのワセリンは地質学者達でない fact2: もしも「地質学者達でない」ものがあるとすればこのワセリンは止めど無い fact3: 「地質学者達である」物はある fact4: もしあの都市構造は止めど無くないならば「その鞭打ち症は落とせるし地質学者達だ」ということは成り立たない fact5: 「地質学者達でない」ものはある fact6: もしも「あるものは地質学者達でない」ということは事実と異ならないとすると止めど無くない fact7: 「地質学者達であるということはない」ものがあるならばあの多モードファイバは民間療法である fact8: もし「あの都市構造は流れ去るけれど擁護しない」ということは誤っているとすればそれは止めど無くない
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
このワセリンは止めど無くない
fact10 -> int1: このワセリンが地質学者達でないとすれば止めど無くない;
$facts$ = fact1: その鞭打ち症が流れ去るし擁護すればこのワセリンは地質学者達でない fact2: もしも「地質学者達でない」ものがあるとすればこのワセリンは止めど無い fact3: 「地質学者達である」物はある fact4: もしあの都市構造は止めど無くないならば「その鞭打ち症は落とせるし地質学者達だ」ということは成り立たない fact5: 「地質学者達でない」ものはある fact6: もしも「あるものは地質学者達でない」ということは事実と異ならないとすると止めど無くない fact7: 「地質学者達であるということはない」ものがあるならばあの多モードファイバは民間療法である fact8: もし「あの都市構造は流れ去るけれど擁護しない」ということは誤っているとすればそれは止めど無くない ; $hypothesis$ = このワセリンは止めど無い ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: その鞭打ち症が流れ去るし擁護すればこのワセリンは地質学者達でない
事実2: もしも「地質学者達でない」ものがあるとすればこのワセリンは止めど無い
事実3: 「地質学者達である」物はある
事実4: もしあの都市構造は止めど無くないならば「その鞭打ち症は落とせるし地質学者達だ」ということは成り立たない
事実5: 「地質学者達でない」ものはある
事実6: もしも「あるものは地質学者達でない」ということは事実と異ならないとすると止めど無くない
事実7: 「地質学者達であるということはない」ものがあるならばあの多モードファイバは民間療法である
事実8: もし「あの都市構造は流れ去るけれど擁護しない」ということは誤っているとすればそれは止めど無くない

仮説: このワセリンは止めど無い
1. 事実5と事実2から、仮説が導かれる

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