「その得手は混濁しない」ということは成り立つ
fact1: あのマリンスポーツは混濁しない fact2: もし仮に何かは混濁するということはないとすると取り合いであるということはないし近付かない fact3: その得手は芳しいということはない fact4: 「その得手は同盟相手国でないしさらに満洲国政府だということはない」ということは本当である fact5: あの安値は取り合いであるということはない fact6: この決起集会は混濁するということはない fact7: 「その得手は混濁しないしおまけにそれは取り合いだということはない」ということは事実である fact8: その得手は光合成するということはない
fact7 -> hypothesis;
fact7 -> hypothesis;
このアーチ状は取り合いでなくて近付かない
fact9 -> int1: 仮にこのアーチ状が混濁しないなら取り合いでないしその上近付かない;
$facts$ = fact1: あのマリンスポーツは混濁しない fact2: もし仮に何かは混濁するということはないとすると取り合いであるということはないし近付かない fact3: その得手は芳しいということはない fact4: 「その得手は同盟相手国でないしさらに満洲国政府だということはない」ということは本当である fact5: あの安値は取り合いであるということはない fact6: この決起集会は混濁するということはない fact7: 「その得手は混濁しないしおまけにそれは取り合いだということはない」ということは事実である fact8: その得手は光合成するということはない ; $hypothesis$ = 「その得手は混濁しない」ということは成り立つ ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: あのマリンスポーツは混濁しない
事実2: もし仮に何かは混濁するということはないとすると取り合いであるということはないし近付かない
事実3: その得手は芳しいということはない
事実4: 「その得手は同盟相手国でないしさらに満洲国政府だということはない」ということは本当である
事実5: あの安値は取り合いであるということはない
事実6: この決起集会は混濁するということはない
事実7: 「その得手は混濁しないしおまけにそれは取り合いだということはない」ということは事実である
事実8: その得手は光合成するということはない

仮説: 「その得手は混濁しない」ということは成り立つ
1. 事実7から、仮説が導かれる

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