このＡ〜Ｄは長電話でない
fact1: あのディーゼル乗用車は解析する fact2: なにかは情報開示する fact3: もしその日中友好が嫌らしい一方で燃え尽きないとしたらその歯車箱は保ち易い fact4: この水飲み場は長電話だ fact5: その歯車箱は解析する fact6: もし仮に「情報開示する」物があるとすればあの製作技術は日本らしいしかつ千九百九十二Ｂだ fact7: もしその歯車箱が解析するとしたらこのＡ〜Ｄは長電話だ fact8: もし仮にその歯車箱が解析するがバルビツール系製剤であるということはないとすればこのＡ〜Ｄは長電話でない fact9: 保ち易いものは解析しないけれどバルビツール系製剤だ
fact7 & fact5 -> hypothesis;
fact7 & fact5 -> hypothesis;
このＡ〜Ｄは長電話でない
$facts$ = fact1: あのディーゼル乗用車は解析する fact2: なにかは情報開示する fact3: もしその日中友好が嫌らしい一方で燃え尽きないとしたらその歯車箱は保ち易い fact4: この水飲み場は長電話だ fact5: その歯車箱は解析する fact6: もし仮に「情報開示する」物があるとすればあの製作技術は日本らしいしかつ千九百九十二Ｂだ fact7: もしその歯車箱が解析するとしたらこのＡ〜Ｄは長電話だ fact8: もし仮にその歯車箱が解析するがバルビツール系製剤であるということはないとすればこのＡ〜Ｄは長電話でない fact9: 保ち易いものは解析しないけれどバルビツール系製剤だ ; $hypothesis$ = このＡ〜Ｄは長電話でない ; $proof$ = 
fact7 & fact5 -> hypothesis; __DISPROVED__
事実1: あのディーゼル乗用車は解析する
事実2: なにかは情報開示する
事実3: もしその日中友好が嫌らしい一方で燃え尽きないとしたらその歯車箱は保ち易い
事実4: この水飲み場は長電話だ
事実5: その歯車箱は解析する
事実6: もし仮に「情報開示する」物があるとすればあの製作技術は日本らしいしかつ千九百九十二Ｂだ
事実7: もしその歯車箱が解析するとしたらこのＡ〜Ｄは長電話だ
事実8: もし仮にその歯車箱が解析するがバルビツール系製剤であるということはないとすればこのＡ〜Ｄは長電話でない
事実9: 保ち易いものは解析しないけれどバルビツール系製剤だ

仮説: このＡ〜Ｄは長電話でない
1. 事実7と事実5から、仮説が否定される

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