その生産個数は覚え易いということはない
fact1: 「「三銘柄であるしその上日本人らしい」ということは間違っている」物はある fact2: もし仮に「三銘柄だということはない」ものがあるならその生産個数は三銘柄でない fact3: ある物は三銘柄であるとすれば覚え易い fact4: もしあのＡワンは期待外れでないとすれば「それは三銘柄でない」ということは正しい fact5: もしも何かは三銘柄だということはないとすれば「蒸し暑くて続け為さる」ということは成り立たない fact6: なんらかのものは骨巨細胞腫でないが素晴らし fact7: もしも何らかのものが三銘柄でないとしたらそれは抱き返さなくて加えて覚え易いということはない fact8: もしも「「三銘柄であるし更に日本人らしい」ということは嘘である」ものがあるとしたらその生産個数は三銘柄でない fact9: 「三銘柄であるし日本人らしい」ものはある fact10: その生産個数は抱き返さない
fact7 -> int1: もしもその生産個数が三銘柄でないとすればそれは抱き返さないしそれに覚え易くない; fact8 & fact1 -> int2: その生産個数は三銘柄でない; int1 & int2 -> int3: その生産個数は抱き返すということはなくておまけに覚え易くない; int3 -> hypothesis;
「「蒸し暑いしかつ続け為さる」ということは事実と異なる」物はある
fact11 -> int4: もし仮にあのバックラッシは三銘柄でないとすれば「蒸し暑いししかも続け為さる」ということは間違っている;
$facts$ = fact1: 「「三銘柄であるしその上日本人らしい」ということは間違っている」物はある fact2: もし仮に「三銘柄だということはない」ものがあるならその生産個数は三銘柄でない fact3: ある物は三銘柄であるとすれば覚え易い fact4: もしあのＡワンは期待外れでないとすれば「それは三銘柄でない」ということは正しい fact5: もしも何かは三銘柄だということはないとすれば「蒸し暑くて続け為さる」ということは成り立たない fact6: なんらかのものは骨巨細胞腫でないが素晴らし fact7: もしも何らかのものが三銘柄でないとしたらそれは抱き返さなくて加えて覚え易いということはない fact8: もしも「「三銘柄であるし更に日本人らしい」ということは嘘である」ものがあるとしたらその生産個数は三銘柄でない fact9: 「三銘柄であるし日本人らしい」ものはある fact10: その生産個数は抱き返さない ; $hypothesis$ = その生産個数は覚え易いということはない ; $proof$ = 
fact7 -> int1: もしもその生産個数が三銘柄でないとすればそれは抱き返さないしそれに覚え易くない; fact8 & fact1 -> int2: その生産個数は三銘柄でない; int1 & int2 -> int3: その生産個数は抱き返すということはなくておまけに覚え易くない; int3 -> hypothesis; __PROVED__
事実1: 「「三銘柄であるしその上日本人らしい」ということは間違っている」物はある
事実2: もし仮に「三銘柄だということはない」ものがあるならその生産個数は三銘柄でない
事実3: ある物は三銘柄であるとすれば覚え易い
事実4: もしあのＡワンは期待外れでないとすれば「それは三銘柄でない」ということは正しい
事実5: もしも何かは三銘柄だということはないとすれば「蒸し暑くて続け為さる」ということは成り立たない
事実6: なんらかのものは骨巨細胞腫でないが素晴らし
事実7: もしも何らかのものが三銘柄でないとしたらそれは抱き返さなくて加えて覚え易いということはない
事実8: もしも「「三銘柄であるし更に日本人らしい」ということは嘘である」ものがあるとしたらその生産個数は三銘柄でない
事実9: 「三銘柄であるし日本人らしい」ものはある
事実10: その生産個数は抱き返さない

仮説: その生産個数は覚え易いということはない
1. 事実7から、推論1: "もしもその生産個数が三銘柄でないとすればそれは抱き返さないしそれに覚え易くない"が導かれる
2. 事実8と事実1から、推論2: "その生産個数は三銘柄でない"が導かれる
3. 推論1と推論2から、推論3: "その生産個数は抱き返すということはなくておまけに覚え易くない"が導かれる
4. 推論3から、仮説が導かれる

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