このチャイムはＭワンであるということはない
fact1: このチャイムは事業化しない fact2: このチャイムは鉄鋼産業でない fact3: このチャイムは分解され難いということはない fact4: このチャイムは慨嘆しない fact5: その色温度はＭワンでない fact6: 生臭くない物はＭワンだ fact7: その伝播はＭワンでない fact8: このじゃこ御飯はＭワンであるということはない fact9: この低公害車はコントロールし易い fact10: この胸壁開放性気胸はＭワンでない fact11: このチャイムは由々しということはない fact12: このチャイムはＭワンでない fact13: あの三重苦はＭワンでない fact14: もしもその磯が分解され難いけれど生臭いということはないとすればこのチャイムは生臭くない fact15: もしある物は生臭くないとすると「それはＭワンでないしさらにそれは飲み難い」ということは誤っている fact16: もしもなんらかの物が飲み難いとしたらそれは分解され難いけれど生臭くない fact17: この大学生はＭワンでない fact18: 「このチャイムはＭワンでないがしかし飲み難い」ということは成り立たないとすればあのコミュニケーション・ツールはＭワンであるということはない fact19: もしその磯が昇進するしかつそれは担当保育士であるなら分解され難くない fact20: その磯は昇進するし担当保育士だ
fact12 -> hypothesis;
fact12 -> hypothesis;
あのコミュニケーション・ツールはＭワンでない
fact23 -> int1: このチャイムは生臭いということはないなら「それはＭワンでなくてそれは飲み難い」ということは事実と異なる; fact22 & fact21 -> int2: その磯は分解され難くない; fact25 -> int3: 「コントロールし易い」物はある;
$facts$ = fact1: このチャイムは事業化しない fact2: このチャイムは鉄鋼産業でない fact3: このチャイムは分解され難いということはない fact4: このチャイムは慨嘆しない fact5: その色温度はＭワンでない fact6: 生臭くない物はＭワンだ fact7: その伝播はＭワンでない fact8: このじゃこ御飯はＭワンであるということはない fact9: この低公害車はコントロールし易い fact10: この胸壁開放性気胸はＭワンでない fact11: このチャイムは由々しということはない fact12: このチャイムはＭワンでない fact13: あの三重苦はＭワンでない fact14: もしもその磯が分解され難いけれど生臭いということはないとすればこのチャイムは生臭くない fact15: もしある物は生臭くないとすると「それはＭワンでないしさらにそれは飲み難い」ということは誤っている fact16: もしもなんらかの物が飲み難いとしたらそれは分解され難いけれど生臭くない fact17: この大学生はＭワンでない fact18: 「このチャイムはＭワンでないがしかし飲み難い」ということは成り立たないとすればあのコミュニケーション・ツールはＭワンであるということはない fact19: もしその磯が昇進するしかつそれは担当保育士であるなら分解され難くない fact20: その磯は昇進するし担当保育士だ ; $hypothesis$ = このチャイムはＭワンであるということはない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: このチャイムは事業化しない
事実2: このチャイムは鉄鋼産業でない
事実3: このチャイムは分解され難いということはない
事実4: このチャイムは慨嘆しない
事実5: その色温度はＭワンでない
事実6: 生臭くない物はＭワンだ
事実7: その伝播はＭワンでない
事実8: このじゃこ御飯はＭワンであるということはない
事実9: この低公害車はコントロールし易い
事実10: この胸壁開放性気胸はＭワンでない
事実11: このチャイムは由々しということはない
事実12: このチャイムはＭワンでない
事実13: あの三重苦はＭワンでない
事実14: もしもその磯が分解され難いけれど生臭いということはないとすればこのチャイムは生臭くない
事実15: もしある物は生臭くないとすると「それはＭワンでないしさらにそれは飲み難い」ということは誤っている
事実16: もしもなんらかの物が飲み難いとしたらそれは分解され難いけれど生臭くない
事実17: この大学生はＭワンでない
事実18: 「このチャイムはＭワンでないがしかし飲み難い」ということは成り立たないとすればあのコミュニケーション・ツールはＭワンであるということはない
事実19: もしその磯が昇進するしかつそれは担当保育士であるなら分解され難くない
事実20: その磯は昇進するし担当保育士だ

仮説: このチャイムはＭワンであるということはない
1. 事実12から、仮説が導かれる

よって、仮説が証明されました。