もし仮にそのハインズ家は迎うないかまたはペンションでないか両方ともだとすればそれは乾燥地域である
fact1: なにがしかの物はペンションでないとしたら乾燥地域だ fact2: そのハインズ家は迎うかもしくはペンションでないかもしくはどちらもであるとするとそれは乾燥地域である fact3: 仮になんらかのものが重合しないかあるいはそれは時価額でないかまたは両方ともであるとすると新暦換算である fact4: もしそのハインズ家がペンションでないとすれば乾燥地域である fact5: もしあの技巧が民権でないかまたは手っ取り早くないかもしくは両方ともならば「それは迎う」ということは成り立つ fact6: 仮にある物は迎うないかもしくはペンションでないかどちらもであるとしたらそれは乾燥地域だ
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: なにがしかの物はペンションでないとしたら乾燥地域だ fact2: そのハインズ家は迎うかもしくはペンションでないかもしくはどちらもであるとするとそれは乾燥地域である fact3: 仮になんらかのものが重合しないかあるいはそれは時価額でないかまたは両方ともであるとすると新暦換算である fact4: もしそのハインズ家がペンションでないとすれば乾燥地域である fact5: もしあの技巧が民権でないかまたは手っ取り早くないかもしくは両方ともならば「それは迎う」ということは成り立つ fact6: 仮にある物は迎うないかもしくはペンションでないかどちらもであるとしたらそれは乾燥地域だ ; $hypothesis$ = もし仮にそのハインズ家は迎うないかまたはペンションでないか両方ともだとすればそれは乾燥地域である ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: なにがしかの物はペンションでないとしたら乾燥地域だ
事実2: そのハインズ家は迎うかもしくはペンションでないかもしくはどちらもであるとするとそれは乾燥地域である
事実3: 仮になんらかのものが重合しないかあるいはそれは時価額でないかまたは両方ともであるとすると新暦換算である
事実4: もしそのハインズ家がペンションでないとすれば乾燥地域である
事実5: もしあの技巧が民権でないかまたは手っ取り早くないかもしくは両方ともならば「それは迎う」ということは成り立つ
事実6: 仮にある物は迎うないかもしくはペンションでないかどちらもであるとしたらそれは乾燥地域だ

仮説: もし仮にそのハインズ家は迎うないかまたはペンションでないか両方ともだとすればそれは乾燥地域である
1. 事実6から、仮説が導かれる

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