「「仮にチアマゾールだけどボタンツールであるということはないならばキープしない」物はある」ということは成り立たない
fact1: 「「チアマゾールだしさらにボタンツールでない」ということは本当であるならキープする」物はある fact2: もし下ろし易いものは来易くないとしたら「それはボタンツールでない」ということは確かだ fact3: もし仮にこの象はチアマゾールだけどボタンツールでないとするとキープしない fact4: もしこの象がチアマゾールであるしおまけにそれはボタンツールであるとしたらそれはキープしない fact5: 「もしもチアマゾールだしボタンツールならキープしない」物はある
fact3 -> hypothesis;
もしもこの象は下ろし易い一方で来易くないならばそれはボタンツールでない
fact6 -> hypothesis;
$facts$ = fact1: 「「チアマゾールだしさらにボタンツールでない」ということは本当であるならキープする」物はある fact2: もし下ろし易いものは来易くないとしたら「それはボタンツールでない」ということは確かだ fact3: もし仮にこの象はチアマゾールだけどボタンツールでないとするとキープしない fact4: もしこの象がチアマゾールであるしおまけにそれはボタンツールであるとしたらそれはキープしない fact5: 「もしもチアマゾールだしボタンツールならキープしない」物はある ; $hypothesis$ = 「「仮にチアマゾールだけどボタンツールであるということはないならばキープしない」物はある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「「チアマゾールだしさらにボタンツールでない」ということは本当であるならキープする」物はある
事実2: もし下ろし易いものは来易くないとしたら「それはボタンツールでない」ということは確かだ
事実3: もし仮にこの象はチアマゾールだけどボタンツールでないとするとキープしない
事実4: もしこの象がチアマゾールであるしおまけにそれはボタンツールであるとしたらそれはキープしない
事実5: 「もしもチアマゾールだしボタンツールならキープしない」物はある

仮説: 「「仮にチアマゾールだけどボタンツールであるということはないならばキープしない」物はある」ということは成り立たない
1. 事実3から、仮説が否定される

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