その胴部はアップルでない
fact1: その胴部がアップルである一方でそれが存廃城だということはないならそのプレス機械はアップルだ fact2: なにがしかのものは存廃城でないならアップルでないがしかし抱き上げる fact3: その自由設計タイプはアップルである fact4: このインターフォンはアップルである fact5: その胴部は羽織る fact6: そのリアゲートはアップルである fact7: その胴部はアップルだ fact8: もしそのボジョレヌーボーが力強くてさらにチューブ状であるならばこの花輪はチューブ状でない fact9: その胴部は歯痒い fact10: とあるものが抱き上げるならアップルだけど存廃城でない fact11: もしこの花輪がチューブ状ならばあの胴部は抱き上げる
fact7 -> hypothesis;
fact7 -> hypothesis;
その胴部はアップルでない
fact12 -> int1: もしもその胴部は存廃城であるということはないとすればアップルでないけれど抱き上げる;
$facts$ = fact1: その胴部がアップルである一方でそれが存廃城だということはないならそのプレス機械はアップルだ fact2: なにがしかのものは存廃城でないならアップルでないがしかし抱き上げる fact3: その自由設計タイプはアップルである fact4: このインターフォンはアップルである fact5: その胴部は羽織る fact6: そのリアゲートはアップルである fact7: その胴部はアップルだ fact8: もしそのボジョレヌーボーが力強くてさらにチューブ状であるならばこの花輪はチューブ状でない fact9: その胴部は歯痒い fact10: とあるものが抱き上げるならアップルだけど存廃城でない fact11: もしこの花輪がチューブ状ならばあの胴部は抱き上げる ; $hypothesis$ = その胴部はアップルでない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: その胴部がアップルである一方でそれが存廃城だということはないならそのプレス機械はアップルだ
事実2: なにがしかのものは存廃城でないならアップルでないがしかし抱き上げる
事実3: その自由設計タイプはアップルである
事実4: このインターフォンはアップルである
事実5: その胴部は羽織る
事実6: そのリアゲートはアップルである
事実7: その胴部はアップルだ
事実8: もしそのボジョレヌーボーが力強くてさらにチューブ状であるならばこの花輪はチューブ状でない
事実9: その胴部は歯痒い
事実10: とあるものが抱き上げるならアップルだけど存廃城でない
事実11: もしこの花輪がチューブ状ならばあの胴部は抱き上げる

仮説: その胴部はアップルでない
1. 事実7から、仮説が否定される

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