その死亡時刻は面白いということはないし加えてそれは心優しくない
fact1: とあるものはザップ・癌である fact2: 仮になんらかの物が沈殿するとしたらザップ・癌だ fact3: 「ザップ・癌である」物はあるなら「その死亡時刻は面白いということはなくて心優しくない」ということは成り立つ fact4: もし仮に「開所する」物があるならこの偽悪家はザップ・癌でなくて覗けない fact5: その専断歪みはザップ・癌であるとすれば「その死亡時刻は面白くないしさらに心優しくない」ということは成り立たない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
「その死亡時刻は面白くなくてかつ心優しいということはない」ということは事実だということはない
fact6 -> int1: もしその専断歪みが沈殿するならザップ・癌である;
$facts$ = fact1: とあるものはザップ・癌である fact2: 仮になんらかの物が沈殿するとしたらザップ・癌だ fact3: 「ザップ・癌である」物はあるなら「その死亡時刻は面白いということはなくて心優しくない」ということは成り立つ fact4: もし仮に「開所する」物があるならこの偽悪家はザップ・癌でなくて覗けない fact5: その専断歪みはザップ・癌であるとすれば「その死亡時刻は面白くないしさらに心優しくない」ということは成り立たない ; $hypothesis$ = その死亡時刻は面白いということはないし加えてそれは心優しくない ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: とあるものはザップ・癌である
事実2: 仮になんらかの物が沈殿するとしたらザップ・癌だ
事実3: 「ザップ・癌である」物はあるなら「その死亡時刻は面白いということはなくて心優しくない」ということは成り立つ
事実4: もし仮に「開所する」物があるならこの偽悪家はザップ・癌でなくて覗けない
事実5: その専断歪みはザップ・癌であるとすれば「その死亡時刻は面白くないしさらに心優しくない」ということは成り立たない

仮説: その死亡時刻は面白いということはないし加えてそれは心優しくない
1. 事実1と事実3から、仮説が導かれる

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