その空気流れは入札者でない
fact1: もし仮にあの縁側が美味しかないとすればあの本態は美味しい fact2: 仮にこの本態が入札者だとするとその空気流れは物狂おしい fact3: その空気流れは汚れる fact4: 美味しかないものは入札者であるかもしくは物狂おしいかどちらもである fact5: この本態は物狂おしい fact6: もし仮にあるものが入店しないかあるいはそれは心安いかどちらもだとすると美味しかない fact7: もしもこの本態が入札者であるしまた美味しいならばあの空気流れは入札者であるということはない fact8: この本態は入札者だ fact9: 仮に「この本態は物狂おしい」ということは確かだとすると「その空気流れは入札者だ」ということは正しい fact10: もし仮になんらかの物は職務給でないがしかし調査中であるとしたらそれは心安い fact11: もしその空気流れが汚れるとしたらそれは職務給でないけど調査中だ
fact9 & fact5 -> hypothesis;
fact9 & fact5 -> hypothesis;
その空気流れは入札者であるということはない
$facts$ = fact1: もし仮にあの縁側が美味しかないとすればあの本態は美味しい fact2: 仮にこの本態が入札者だとするとその空気流れは物狂おしい fact3: その空気流れは汚れる fact4: 美味しかないものは入札者であるかもしくは物狂おしいかどちらもである fact5: この本態は物狂おしい fact6: もし仮にあるものが入店しないかあるいはそれは心安いかどちらもだとすると美味しかない fact7: もしもこの本態が入札者であるしまた美味しいならばあの空気流れは入札者であるということはない fact8: この本態は入札者だ fact9: 仮に「この本態は物狂おしい」ということは確かだとすると「その空気流れは入札者だ」ということは正しい fact10: もし仮になんらかの物は職務給でないがしかし調査中であるとしたらそれは心安い fact11: もしその空気流れが汚れるとしたらそれは職務給でないけど調査中だ ; $hypothesis$ = その空気流れは入札者でない ; $proof$ = 
fact9 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの縁側が美味しかないとすればあの本態は美味しい
事実2: 仮にこの本態が入札者だとするとその空気流れは物狂おしい
事実3: その空気流れは汚れる
事実4: 美味しかないものは入札者であるかもしくは物狂おしいかどちらもである
事実5: この本態は物狂おしい
事実6: もし仮にあるものが入店しないかあるいはそれは心安いかどちらもだとすると美味しかない
事実7: もしもこの本態が入札者であるしまた美味しいならばあの空気流れは入札者であるということはない
事実8: この本態は入札者だ
事実9: 仮に「この本態は物狂おしい」ということは確かだとすると「その空気流れは入札者だ」ということは正しい
事実10: もし仮になんらかの物は職務給でないがしかし調査中であるとしたらそれは心安い
事実11: もしその空気流れが汚れるとしたらそれは職務給でないけど調査中だ

仮説: その空気流れは入札者でない
1. 事実9と事実5から、仮説が否定される

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