あの横立は売り続ける
fact1: あの相対的変化はクリアするがしかしそれは海鞘貝でない fact2: あの横立は登山家らしい fact3: あの自流水取水は海鞘貝だ fact4: もしもそのブイヨンが海鞘貝であるとしたらあの横立は売り続けない fact5: あの相対的変化は売り続ける一方で薄ら寒くない fact6: あの相対的変化は登山家らしいが薄ら寒くない fact7: もしもあの相対的変化が登山家らしいならばあのブイヨンは海鞘貝だ fact8: もしもあの横立が登山家らしいとすればあの相対的変化は売り続ける
fact6 -> int1: あの相対的変化は登山家らしい; int1 & fact7 -> int2: そのブイヨンは海鞘貝だ; int2 & fact4 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: あの相対的変化はクリアするがしかしそれは海鞘貝でない fact2: あの横立は登山家らしい fact3: あの自流水取水は海鞘貝だ fact4: もしもそのブイヨンが海鞘貝であるとしたらあの横立は売り続けない fact5: あの相対的変化は売り続ける一方で薄ら寒くない fact6: あの相対的変化は登山家らしいが薄ら寒くない fact7: もしもあの相対的変化が登山家らしいならばあのブイヨンは海鞘貝だ fact8: もしもあの横立が登山家らしいとすればあの相対的変化は売り続ける ; $hypothesis$ = あの横立は売り続ける ; $proof$ = 
fact6 -> int1: あの相対的変化は登山家らしい; int1 & fact7 -> int2: そのブイヨンは海鞘貝だ; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: あの相対的変化はクリアするがしかしそれは海鞘貝でない
事実2: あの横立は登山家らしい
事実3: あの自流水取水は海鞘貝だ
事実4: もしもそのブイヨンが海鞘貝であるとしたらあの横立は売り続けない
事実5: あの相対的変化は売り続ける一方で薄ら寒くない
事実6: あの相対的変化は登山家らしいが薄ら寒くない
事実7: もしもあの相対的変化が登山家らしいならばあのブイヨンは海鞘貝だ
事実8: もしもあの横立が登山家らしいとすればあの相対的変化は売り続ける

仮説: あの横立は売り続ける
1. 事実6から、推論1: "あの相対的変化は登山家らしい"が導かれる
2. 推論1と事実7から、推論2: "そのブイヨンは海鞘貝だ"が導かれる
3. 推論2と事実4から、仮説が否定される

よって、仮説が否定されました。