「あの熟練工は跳ね返る」ということは確かだ
fact1: あの日本留学生はだだっ広くて手厳しいとすればそれは鉛直位置だということはない fact2: もしも「なにがしかの物は風呂上がりでまたそれは小賢しい」ということは成り立つとしたらあの熟練工は跳ね返る fact3: もしあの日本留学生は鉛直位置でないとするとドアマンだ fact4: 「影響値な」ものはある fact5: もし仮に「「影響値でない」ということは確かな」物があるとすればそのヘパリンロックは風呂上がりであるけどそれは小賢しくない fact6: もしあの日本留学生がドアマンであるとすればあの介錯は一段落しなくて跳ね起きない fact7: もしその介錯が一段落しなくて加えて跳ね起きるということはないならばそのヘパリンロックは一段落する fact8: もし仮になんらかの物は小賢しいとしたら「風呂上がりだということはないかまたは影響値であるかまたは両方ともである」ということは成り立たない fact9: 「「影響値でない」ということは本当である」物はある fact10: 仮に「風呂上がりであるし小賢しくない」物があるとすればあの熟練工は跳ね返る fact11: もしそのヘパリンロックが小賢しいとすればそれは娘らしい fact12: もしもとあるものは影響値であるということはないならば長ずない fact13: 「何らかの物は風呂上がりでないかまたは影響値であるかもしくは両方である」ということは事実と異なるとすればそれは跳ね返らない
fact9 & fact5 -> int1: そのヘパリンロックは風呂上がりだが小賢しくない; int1 -> int2: 「風呂上がりだけど小賢しいということはない」物はある; int2 & fact10 -> hypothesis;
何かは娘らしいけれどそれは長ずない
fact14 -> int3: もしもそのヘパリンロックは影響値でないならば長ずない;
$facts$ = fact1: あの日本留学生はだだっ広くて手厳しいとすればそれは鉛直位置だということはない fact2: もしも「なにがしかの物は風呂上がりでまたそれは小賢しい」ということは成り立つとしたらあの熟練工は跳ね返る fact3: もしあの日本留学生は鉛直位置でないとするとドアマンだ fact4: 「影響値な」ものはある fact5: もし仮に「「影響値でない」ということは確かな」物があるとすればそのヘパリンロックは風呂上がりであるけどそれは小賢しくない fact6: もしあの日本留学生がドアマンであるとすればあの介錯は一段落しなくて跳ね起きない fact7: もしその介錯が一段落しなくて加えて跳ね起きるということはないならばそのヘパリンロックは一段落する fact8: もし仮になんらかの物は小賢しいとしたら「風呂上がりだということはないかまたは影響値であるかまたは両方ともである」ということは成り立たない fact9: 「「影響値でない」ということは本当である」物はある fact10: 仮に「風呂上がりであるし小賢しくない」物があるとすればあの熟練工は跳ね返る fact11: もしそのヘパリンロックが小賢しいとすればそれは娘らしい fact12: もしもとあるものは影響値であるということはないならば長ずない fact13: 「何らかの物は風呂上がりでないかまたは影響値であるかもしくは両方である」ということは事実と異なるとすればそれは跳ね返らない ; $hypothesis$ = 「あの熟練工は跳ね返る」ということは確かだ ; $proof$ = 
fact9 & fact5 -> int1: そのヘパリンロックは風呂上がりだが小賢しくない; int1 -> int2: 「風呂上がりだけど小賢しいということはない」物はある; int2 & fact10 -> hypothesis; __PROVED__
事実1: あの日本留学生はだだっ広くて手厳しいとすればそれは鉛直位置だということはない
事実2: もしも「なにがしかの物は風呂上がりでまたそれは小賢しい」ということは成り立つとしたらあの熟練工は跳ね返る
事実3: もしあの日本留学生は鉛直位置でないとするとドアマンだ
事実4: 「影響値な」ものはある
事実5: もし仮に「「影響値でない」ということは確かな」物があるとすればそのヘパリンロックは風呂上がりであるけどそれは小賢しくない
事実6: もしあの日本留学生がドアマンであるとすればあの介錯は一段落しなくて跳ね起きない
事実7: もしその介錯が一段落しなくて加えて跳ね起きるということはないならばそのヘパリンロックは一段落する
事実8: もし仮になんらかの物は小賢しいとしたら「風呂上がりだということはないかまたは影響値であるかまたは両方ともである」ということは成り立たない
事実9: 「「影響値でない」ということは本当である」物はある
事実10: 仮に「風呂上がりであるし小賢しくない」物があるとすればあの熟練工は跳ね返る
事実11: もしそのヘパリンロックが小賢しいとすればそれは娘らしい
事実12: もしもとあるものは影響値であるということはないならば長ずない
事実13: 「何らかの物は風呂上がりでないかまたは影響値であるかもしくは両方である」ということは事実と異なるとすればそれは跳ね返らない

仮説: 「あの熟練工は跳ね返る」ということは確かだ
1. 事実9と事実5から、推論1: "そのヘパリンロックは風呂上がりだが小賢しくない"が導かれる
2. 推論1から、推論2: "「風呂上がりだけど小賢しいということはない」物はある"が導かれる
3. 推論2と事実10から、仮説が導かれる

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