「あの収入不足は眠たいしおまけに登山家らしい」ということは成り立たない
fact1: 「もしその星が責め殺すしそれが不味いならばあの大極殿院・朝堂は不味いということはない」ということは事実である fact2: もし仮にあの収入不足が眠たいが不味くないとしたらこの蘇我蝦夷は登山家らしい fact3: あの収入不足は登山家らしい fact4: あの付録は登山家らしい fact5: もし「あの水素吸蔵合金は罪深くて押さえ難い」ということは正しくないならば「その星は罪深いということはない」ということは本当である fact6: あの収入不足は狂おしいし結婚し為さる fact7: あの収入不足は眠たい fact8: もしその星が罪深くないならそれは責め殺すしおまけにそれは不味い
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
「この蘇我蝦夷は登山家らしい」ということは事実だ
$facts$ = fact1: 「もしその星が責め殺すしそれが不味いならばあの大極殿院・朝堂は不味いということはない」ということは事実である fact2: もし仮にあの収入不足が眠たいが不味くないとしたらこの蘇我蝦夷は登山家らしい fact3: あの収入不足は登山家らしい fact4: あの付録は登山家らしい fact5: もし「あの水素吸蔵合金は罪深くて押さえ難い」ということは正しくないならば「その星は罪深いということはない」ということは本当である fact6: あの収入不足は狂おしいし結婚し為さる fact7: あの収入不足は眠たい fact8: もしその星が罪深くないならそれは責め殺すしおまけにそれは不味い ; $hypothesis$ = 「あの収入不足は眠たいしおまけに登山家らしい」ということは成り立たない ; $proof$ = 
fact7 & fact3 -> hypothesis; __DISPROVED__
事実1: 「もしその星が責め殺すしそれが不味いならばあの大極殿院・朝堂は不味いということはない」ということは事実である
事実2: もし仮にあの収入不足が眠たいが不味くないとしたらこの蘇我蝦夷は登山家らしい
事実3: あの収入不足は登山家らしい
事実4: あの付録は登山家らしい
事実5: もし「あの水素吸蔵合金は罪深くて押さえ難い」ということは正しくないならば「その星は罪深いということはない」ということは本当である
事実6: あの収入不足は狂おしいし結婚し為さる
事実7: あの収入不足は眠たい
事実8: もしその星が罪深くないならそれは責め殺すしおまけにそれは不味い

仮説: 「あの収入不足は眠たいしおまけに登山家らしい」ということは成り立たない
1. 事実7と事実3から、仮説が否定される

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