その被蓋は一口酒でない
fact1: あの伯祖父はコントラスト分解能だ fact2: 仮にそのスターが掘り崩さないとすればその被蓋は謙虚さであるし加えて稼業だ fact3: せせこましくないものはコントラスト分解能でないがちびる fact4: せせこましいものは一口酒である fact5: もし仮に「とあるものは訳無いということはない一方でそれは高層建築だ」ということは偽であるならばそれは掘り崩さない fact6: あの伯祖父は謙虚さである fact7: 仮にあの伯祖父がせせこましくて謙虚さであるならばその被蓋は一口酒でない
fact3 -> int1: もしあの伯祖父がせせこましくないとしたらそれはコントラスト分解能でないしかつちびる; void -> assump1: 以下のように仮定する。あの伯祖父はせせこましくない; int1 & assump1 -> int2: あの伯祖父はコントラスト分解能でない一方でちびる; int2 -> int3: あの伯祖父はコントラスト分解能でない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの伯祖父はせせこましくない」ということは成り立たない; int5 & fact6 -> int6: あの伯祖父はせせこましいしおまけにそれは謙虚さである; int6 & fact7 -> hypothesis;
その被蓋は一口酒だ
fact8 -> int7: もしもその被蓋はせせこましいならば「それは一口酒だ」ということは事実である; fact9 -> int8: もし仮に「そのスターは訳無くないがそれは高層建築だ」ということは成り立たないとしたら掘り崩さない;
$facts$ = fact1: あの伯祖父はコントラスト分解能だ fact2: 仮にそのスターが掘り崩さないとすればその被蓋は謙虚さであるし加えて稼業だ fact3: せせこましくないものはコントラスト分解能でないがちびる fact4: せせこましいものは一口酒である fact5: もし仮に「とあるものは訳無いということはない一方でそれは高層建築だ」ということは偽であるならばそれは掘り崩さない fact6: あの伯祖父は謙虚さである fact7: 仮にあの伯祖父がせせこましくて謙虚さであるならばその被蓋は一口酒でない ; $hypothesis$ = その被蓋は一口酒でない ; $proof$ = 
fact3 -> int1: もしあの伯祖父がせせこましくないとしたらそれはコントラスト分解能でないしかつちびる; void -> assump1: 以下のように仮定する。あの伯祖父はせせこましくない; int1 & assump1 -> int2: あの伯祖父はコントラスト分解能でない一方でちびる; int2 -> int3: あの伯祖父はコントラスト分解能でない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの伯祖父はせせこましくない」ということは成り立たない; int5 & fact6 -> int6: あの伯祖父はせせこましいしおまけにそれは謙虚さである; int6 & fact7 -> hypothesis; __PROVED__
事実1: あの伯祖父はコントラスト分解能だ
事実2: 仮にそのスターが掘り崩さないとすればその被蓋は謙虚さであるし加えて稼業だ
事実3: せせこましくないものはコントラスト分解能でないがちびる
事実4: せせこましいものは一口酒である
事実5: もし仮に「とあるものは訳無いということはない一方でそれは高層建築だ」ということは偽であるならばそれは掘り崩さない
事実6: あの伯祖父は謙虚さである
事実7: 仮にあの伯祖父がせせこましくて謙虚さであるならばその被蓋は一口酒でない

仮説: その被蓋は一口酒でない
1. 事実3から、推論1: "もしあの伯祖父がせせこましくないとしたらそれはコントラスト分解能でないしかつちびる"が導かれる
2. 仮定1: 以下のように仮定する。あの伯祖父はせせこましくない
3. 推論1と仮定1から、推論2: "あの伯祖父はコントラスト分解能でない一方でちびる"が導かれる
4. 推論2から、推論3: "あの伯祖父はコントラスト分解能でない"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの伯祖父はせせこましくない」ということは成り立たない"が導かれる
7. 推論5と事実6から、推論6: "あの伯祖父はせせこましいしおまけにそれは謙虚さである"が導かれる
8. 推論6と事実7から、仮説が導かれる

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