「この紅葉狩りは見境無くないかまたはそれは被曝するかあるいはどちらもである」ということは成り立たない
fact1: 「見境無いということはないかまたは被曝するか両方である」ということは正しいというものはない fact2: 「あの後方手術は見境無くないかまたはそれは御忙しいかもしくは両方ともだ」ということは成り立たない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「見境無いということはないかまたは被曝するか両方である」ということは正しいというものはない fact2: 「あの後方手術は見境無くないかまたはそれは御忙しいかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = 「この紅葉狩りは見境無くないかまたはそれは被曝するかあるいはどちらもである」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「見境無いということはないかまたは被曝するか両方である」ということは正しいというものはない
事実2: 「あの後方手術は見境無くないかまたはそれは御忙しいかもしくは両方ともだ」ということは成り立たない

仮説: 「この紅葉狩りは見境無くないかまたはそれは被曝するかあるいはどちらもである」ということは成り立たない
1. 事実1から、仮説が導かれる

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