その漂着人は教わらない
fact1: もしもその小孔が作業しないならばその漂着人は教わらない fact2: 「その小孔は設立事業年度でないがそれは批判的検討だ」ということは偽だ fact3: もしもその小孔が打ち難くないならばあの漂着人は教わるしそれにアマルガムである fact4: その小孔はアマルガムだ fact5: もし仮に「その小孔は設立事業年度でないけど批判的検討だ」ということは事実と異なるとすれば打ち難い fact6: もしもその小孔が分散局在しないとすればあの漂着人は教わらない fact7: もしもその小孔が発症し易いということはないとするとそれは作業しないかもしくは分散局在しないかあるいは両方である fact8: もしもその小孔が打ち難くてかつそれがアマルガムだとするとそれは発症し易くない
fact5 & fact2 -> int1: その小孔は打ち難い; int1 & fact4 -> int2: その小孔は打ち難いし更にアマルガムだ; int2 & fact8 -> int3: その小孔は発症し易くない; int3 & fact7 -> int4: その小孔は作業しないか分散局在しない; int4 & fact1 & fact6 -> hypothesis;
その漂着人は教わる
$facts$ = fact1: もしもその小孔が作業しないならばその漂着人は教わらない fact2: 「その小孔は設立事業年度でないがそれは批判的検討だ」ということは偽だ fact3: もしもその小孔が打ち難くないならばあの漂着人は教わるしそれにアマルガムである fact4: その小孔はアマルガムだ fact5: もし仮に「その小孔は設立事業年度でないけど批判的検討だ」ということは事実と異なるとすれば打ち難い fact6: もしもその小孔が分散局在しないとすればあの漂着人は教わらない fact7: もしもその小孔が発症し易いということはないとするとそれは作業しないかもしくは分散局在しないかあるいは両方である fact8: もしもその小孔が打ち難くてかつそれがアマルガムだとするとそれは発症し易くない ; $hypothesis$ = その漂着人は教わらない ; $proof$ = 
fact5 & fact2 -> int1: その小孔は打ち難い; int1 & fact4 -> int2: その小孔は打ち難いし更にアマルガムだ; int2 & fact8 -> int3: その小孔は発症し易くない; int3 & fact7 -> int4: その小孔は作業しないか分散局在しない; int4 & fact1 & fact6 -> hypothesis; __PROVED__
事実1: もしもその小孔が作業しないならばその漂着人は教わらない
事実2: 「その小孔は設立事業年度でないがそれは批判的検討だ」ということは偽だ
事実3: もしもその小孔が打ち難くないならばあの漂着人は教わるしそれにアマルガムである
事実4: その小孔はアマルガムだ
事実5: もし仮に「その小孔は設立事業年度でないけど批判的検討だ」ということは事実と異なるとすれば打ち難い
事実6: もしもその小孔が分散局在しないとすればあの漂着人は教わらない
事実7: もしもその小孔が発症し易いということはないとするとそれは作業しないかもしくは分散局在しないかあるいは両方である
事実8: もしもその小孔が打ち難くてかつそれがアマルガムだとするとそれは発症し易くない

仮説: その漂着人は教わらない
1. 事実5と事実2から、推論1: "その小孔は打ち難い"が導かれる
2. 推論1と事実4から、推論2: "その小孔は打ち難いし更にアマルガムだ"が導かれる
3. 推論2と事実8から、推論3: "その小孔は発症し易くない"が導かれる
4. 推論3と事実7から、推論4: "その小孔は作業しないか分散局在しない"が導かれる
5. 推論4と事実1と事実6から、仮説が導かれる

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