このＩＣＣはトーンカーブだ
fact1: 何らかの物は頷き返さない fact2: もしも「「トーンカーブであるが積もらない」ということは事実と異なる」ものがあるとすればあのＩＣＣは取り易い fact3: 「「「積もるしトーンカーブでない」ということは確かでない」物はある」ということは成り立つ fact4: もしも「誘える」ものがあればこのＩＣＣは取り易い fact5: 「「取り易いけれど積もるということはない」ということは間違っている」物があるとしたらこのＩＣＣはトーンカーブである fact6: 「「このＩＣＣは積もる一方でトーンカーブでない」ということは誤りだ」ということは間違いであるということはない fact7: 「このＩＣＣは取り易いしそれはトーンカーブだ」ということは間違いである fact8: もしも「頷き返すということはない」ものはあるとしたら「あのドローンは取り易い一方で積もらない」ということは成り立たない fact9: もし仮に「頷き返さない」ものはあるとすれば「あのドローンは取り易くておまけに積もる」ということは成り立たない
fact1 & fact8 -> int1: 「あのドローンは取り易いが積もらない」ということは事実と異なる; int1 -> int2: 「「取り易いしそれに積もらない」ということは本当でない」物はある; int2 & fact5 -> hypothesis;
$facts$ = fact1: 何らかの物は頷き返さない fact2: もしも「「トーンカーブであるが積もらない」ということは事実と異なる」ものがあるとすればあのＩＣＣは取り易い fact3: 「「「積もるしトーンカーブでない」ということは確かでない」物はある」ということは成り立つ fact4: もしも「誘える」ものがあればこのＩＣＣは取り易い fact5: 「「取り易いけれど積もるということはない」ということは間違っている」物があるとしたらこのＩＣＣはトーンカーブである fact6: 「「このＩＣＣは積もる一方でトーンカーブでない」ということは誤りだ」ということは間違いであるということはない fact7: 「このＩＣＣは取り易いしそれはトーンカーブだ」ということは間違いである fact8: もしも「頷き返すということはない」ものはあるとしたら「あのドローンは取り易い一方で積もらない」ということは成り立たない fact9: もし仮に「頷き返さない」ものはあるとすれば「あのドローンは取り易くておまけに積もる」ということは成り立たない ; $hypothesis$ = このＩＣＣはトーンカーブだ ; $proof$ = 
fact1 & fact8 -> int1: 「あのドローンは取り易いが積もらない」ということは事実と異なる; int1 -> int2: 「「取り易いしそれに積もらない」ということは本当でない」物はある; int2 & fact5 -> hypothesis; __PROVED__
事実1: 何らかの物は頷き返さない
事実2: もしも「「トーンカーブであるが積もらない」ということは事実と異なる」ものがあるとすればあのＩＣＣは取り易い
事実3: 「「「積もるしトーンカーブでない」ということは確かでない」物はある」ということは成り立つ
事実4: もしも「誘える」ものがあればこのＩＣＣは取り易い
事実5: 「「取り易いけれど積もるということはない」ということは間違っている」物があるとしたらこのＩＣＣはトーンカーブである
事実6: 「「このＩＣＣは積もる一方でトーンカーブでない」ということは誤りだ」ということは間違いであるということはない
事実7: 「このＩＣＣは取り易いしそれはトーンカーブだ」ということは間違いである
事実8: もしも「頷き返すということはない」ものはあるとしたら「あのドローンは取り易い一方で積もらない」ということは成り立たない
事実9: もし仮に「頷き返さない」ものはあるとすれば「あのドローンは取り易くておまけに積もる」ということは成り立たない

仮説: このＩＣＣはトーンカーブだ
1. 事実1と事実8から、推論1: "「あのドローンは取り易いが積もらない」ということは事実と異なる"が導かれる
2. 推論1から、推論2: "「「取り易いしそれに積もらない」ということは本当でない」物はある"が導かれる
3. 推論2と事実5から、仮説が導かれる

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