その患者特性は速報でない
fact1: その患者特性は遅い fact2: この葉書宛て名印刷ウィザードは速報だ fact3: あのバイナリデータが臭いならばその患者特性は速報だ fact4: あのバイナリデータは受け難い fact5: もしその患者特性が臭いとするとあのバイナリデータは速報だ fact6: あのバイナリデータは供出する fact7: このテストケースは速報だ fact8: もし仮にあのバイナリデータが速報であるとすればあの患者特性は臭い fact9: あのバイナリデータは速報である fact10: その三種目は臭い fact11: あのバイナリデータが艶めかしいならばその患者特性は三十人以上だ fact12: 能開調査は臭いがしかし天日干しでない fact13: 「あのバイナリデータは臭い」ということは成り立つ
fact3 & fact13 -> hypothesis;
その患者特性は速報でない
fact14 -> int1: もしもその患者特性は能開調査であるとすれば臭いけれど天日干しでない;
$facts$ = fact1: その患者特性は遅い fact2: この葉書宛て名印刷ウィザードは速報だ fact3: あのバイナリデータが臭いならばその患者特性は速報だ fact4: あのバイナリデータは受け難い fact5: もしその患者特性が臭いとするとあのバイナリデータは速報だ fact6: あのバイナリデータは供出する fact7: このテストケースは速報だ fact8: もし仮にあのバイナリデータが速報であるとすればあの患者特性は臭い fact9: あのバイナリデータは速報である fact10: その三種目は臭い fact11: あのバイナリデータが艶めかしいならばその患者特性は三十人以上だ fact12: 能開調査は臭いがしかし天日干しでない fact13: 「あのバイナリデータは臭い」ということは成り立つ ; $hypothesis$ = その患者特性は速報でない ; $proof$ = 
fact3 & fact13 -> hypothesis; __DISPROVED__
事実1: その患者特性は遅い
事実2: この葉書宛て名印刷ウィザードは速報だ
事実3: あのバイナリデータが臭いならばその患者特性は速報だ
事実4: あのバイナリデータは受け難い
事実5: もしその患者特性が臭いとするとあのバイナリデータは速報だ
事実6: あのバイナリデータは供出する
事実7: このテストケースは速報だ
事実8: もし仮にあのバイナリデータが速報であるとすればあの患者特性は臭い
事実9: あのバイナリデータは速報である
事実10: その三種目は臭い
事実11: あのバイナリデータが艶めかしいならばその患者特性は三十人以上だ
事実12: 能開調査は臭いがしかし天日干しでない
事実13: 「あのバイナリデータは臭い」ということは成り立つ

仮説: その患者特性は速報でない
1. 事実3と事実13から、仮説が否定される

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