「その食肉処理業はきつい」ということは成り立つとしたら「このＤＡＴは音読みしないかもしくは温くないかあるいはどちらもだ」ということは事実と異なる
fact1: もしこのＤＡＴは音読みしないかもしくは温くないかもしくは両方であるとすればその食肉処理業はきつくない fact2: もしその食肉処理業が温いならばこのＤＡＴはきつい fact3: その食肉処理業は音読みしない
void -> assump1: 以下のように仮定する。このＤＡＴは音読みするということはないかあるいは温くない; fact1 & assump1 -> int1: その食肉処理業はきつくない; void -> assump2: 以下のように仮定する。「その食肉処理業はきつい」ということは確かである; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このＤＡＴは音読みしないかあるいはそれは温くないか両方ともである」ということは事実と異なる; [assump2] & int3 -> hypothesis;
$facts$ = fact1: もしこのＤＡＴは音読みしないかもしくは温くないかもしくは両方であるとすればその食肉処理業はきつくない fact2: もしその食肉処理業が温いならばこのＤＡＴはきつい fact3: その食肉処理業は音読みしない ; $hypothesis$ = 「その食肉処理業はきつい」ということは成り立つとしたら「このＤＡＴは音読みしないかもしくは温くないかあるいはどちらもだ」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。このＤＡＴは音読みするということはないかあるいは温くない; fact1 & assump1 -> int1: その食肉処理業はきつくない; void -> assump2: 以下のように仮定する。「その食肉処理業はきつい」ということは確かである; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このＤＡＴは音読みしないかあるいはそれは温くないか両方ともである」ということは事実と異なる; [assump2] & int3 -> hypothesis; __PROVED__
事実1: もしこのＤＡＴは音読みしないかもしくは温くないかもしくは両方であるとすればその食肉処理業はきつくない
事実2: もしその食肉処理業が温いならばこのＤＡＴはきつい
事実3: その食肉処理業は音読みしない

仮説: 「その食肉処理業はきつい」ということは成り立つとしたら「このＤＡＴは音読みしないかもしくは温くないかあるいはどちらもだ」ということは事実と異なる
1. 仮定1: 以下のように仮定する。このＤＡＴは音読みするということはないかあるいは温くない
2. 事実1と仮定1から、推論1: "その食肉処理業はきつくない"が導かれる
3. 仮定2: 以下のように仮定する。「その食肉処理業はきつい」ということは確かである
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「このＤＡＴは音読みしないかあるいはそれは温くないか両方ともである」ということは事実と異なる"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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