このシーアは国内産業でなくておまけに珍しかない
fact1: 「このライターは疎水だということはないしその上国内産業でない」ということは成り立たない fact2: もし仮に「過ごし易くないかあるいは疎水でないかもしくは両方ともな」物があるとしたらこのライターは疎水だということはない fact3: なんらかのものは過ごし易くないかもしくは疎水でないかもしくは両方ともである fact4: あるものは国内産業であるかもしくは珍しいということはない fact5: そのホラー映画は珍しかない fact6: 「このライターは珍しいということはない」ということは本当だ fact7: もしこのライターは麻酔であるとすると疎水である fact8: 「このシーアは国内産業でないしその上それは珍しいということはない」ということは誤りだとするとこのライターは麻酔だ
void -> assump1: 以下のように仮定する。「このシーアは国内産業でなくてまた珍しかない」ということは成り立たない; fact8 & assump1 -> int1: このライターは麻酔だ; int1 & fact7 -> int2: このライターは疎水だ; fact2 & fact3 -> int3: このライターは疎水だということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「このライターは疎水だということはないしその上国内産業でない」ということは成り立たない fact2: もし仮に「過ごし易くないかあるいは疎水でないかもしくは両方ともな」物があるとしたらこのライターは疎水だということはない fact3: なんらかのものは過ごし易くないかもしくは疎水でないかもしくは両方ともである fact4: あるものは国内産業であるかもしくは珍しいということはない fact5: そのホラー映画は珍しかない fact6: 「このライターは珍しいということはない」ということは本当だ fact7: もしこのライターは麻酔であるとすると疎水である fact8: 「このシーアは国内産業でないしその上それは珍しいということはない」ということは誤りだとするとこのライターは麻酔だ ; $hypothesis$ = このシーアは国内産業でなくておまけに珍しかない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このシーアは国内産業でなくてまた珍しかない」ということは成り立たない; fact8 & assump1 -> int1: このライターは麻酔だ; int1 & fact7 -> int2: このライターは疎水だ; fact2 & fact3 -> int3: このライターは疎水だということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「このライターは疎水だということはないしその上国内産業でない」ということは成り立たない
事実2: もし仮に「過ごし易くないかあるいは疎水でないかもしくは両方ともな」物があるとしたらこのライターは疎水だということはない
事実3: なんらかのものは過ごし易くないかもしくは疎水でないかもしくは両方ともである
事実4: あるものは国内産業であるかもしくは珍しいということはない
事実5: そのホラー映画は珍しかない
事実6: 「このライターは珍しいということはない」ということは本当だ
事実7: もしこのライターは麻酔であるとすると疎水である
事実8: 「このシーアは国内産業でないしその上それは珍しいということはない」ということは誤りだとするとこのライターは麻酔だ

仮説: このシーアは国内産業でなくておまけに珍しかない
1. 仮定1: 以下のように仮定する。「このシーアは国内産業でなくてまた珍しかない」ということは成り立たない
2. 事実8と仮定1から、推論1: "このライターは麻酔だ"が導かれる
3. 推論1と事実7から、推論2: "このライターは疎水だ"が導かれる
4. 事実2と事実3から、推論3: "このライターは疎水だということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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