もし仮にこのト書きは鸚鵡なら「その琵琶湖畔は二桁台だがしかしそれは嬉しくない」ということは成り立たない
fact1: 仮にあの繰り越し税額控除限度超過額は嬉しいならば「その琵琶湖畔は二桁台であるけれど嬉しくない」ということは事実と異なる fact2: もしもその琵琶湖畔が嬉しいならばあの繰り越し税額控除限度超過額は二桁台だけれど鸚鵡でない fact3: もし仮にその琵琶湖畔は嬉しいならば「このト書きが二桁台だしかつ鸚鵡である」ということは成り立たない fact4: このト書きは鸚鵡だ一方で二桁台でない fact5: 「その琵琶湖畔が二桁台だけど鸚鵡でない」ということは事実でない fact6: あの繰り越し税額控除限度超過額が嬉しくないならこのト書きは鸚鵡である fact7: もし仮にあの繰り越し税額控除限度超過額は嬉しいならば「その琵琶湖畔は二桁台であるしその上嬉しい」ということは誤りだ fact8: もし仮にこのト書きは鸚鵡なら「その琵琶湖畔は二桁台であるしおまけに嬉しい」ということは成り立たない fact9: その琵琶湖畔は嬉しいならば「このト書きは鸚鵡であるし嬉しい」ということは成り立たない fact10: 「その琵琶湖畔は生け捕りでない」ということは本当だ fact11: もしもあの繰り越し税額控除限度超過額が嬉しくないならばこのト書きは鸚鵡でない fact12: その琵琶湖畔は嬉しいとすれば「あの繰り越し税額控除限度超過額は二桁台であるがしかし嬉しくない」ということは嘘である fact13: 「このト書きは嬉しい」ということは真実だとするとその琵琶湖畔は鸚鵡であるけどそれは嬉しくない fact14: 「その琵琶湖畔は二桁台であるしさらに嬉しい」ということは成り立たない fact15: このト書きは応急である fact16: この信楽鬼桶は鸚鵡である fact17: 「仮にその琵琶湖畔が嬉しくないならあの繰り越し税額控除限度超過額は二桁台でない」ということは確かである fact18: その沖積錐は参学するけれど嬉しくない
void -> assump1: 以下のように仮定する。あの繰り越し税額控除限度超過額は嬉しくない; fact11 & assump1 -> int1: このト書きは鸚鵡でない; void -> assump2: 以下のように仮定する。このト書きは鸚鵡である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの繰り越し税額控除限度超過額は嬉しい; int3 & fact1 -> int4: 「その琵琶湖畔は二桁台であるけど嬉しくない」ということは間違いだ; [assump2] & int4 -> hypothesis;
$facts$ = fact1: 仮にあの繰り越し税額控除限度超過額は嬉しいならば「その琵琶湖畔は二桁台であるけれど嬉しくない」ということは事実と異なる fact2: もしもその琵琶湖畔が嬉しいならばあの繰り越し税額控除限度超過額は二桁台だけれど鸚鵡でない fact3: もし仮にその琵琶湖畔は嬉しいならば「このト書きが二桁台だしかつ鸚鵡である」ということは成り立たない fact4: このト書きは鸚鵡だ一方で二桁台でない fact5: 「その琵琶湖畔が二桁台だけど鸚鵡でない」ということは事実でない fact6: あの繰り越し税額控除限度超過額が嬉しくないならこのト書きは鸚鵡である fact7: もし仮にあの繰り越し税額控除限度超過額は嬉しいならば「その琵琶湖畔は二桁台であるしその上嬉しい」ということは誤りだ fact8: もし仮にこのト書きは鸚鵡なら「その琵琶湖畔は二桁台であるしおまけに嬉しい」ということは成り立たない fact9: その琵琶湖畔は嬉しいならば「このト書きは鸚鵡であるし嬉しい」ということは成り立たない fact10: 「その琵琶湖畔は生け捕りでない」ということは本当だ fact11: もしもあの繰り越し税額控除限度超過額が嬉しくないならばこのト書きは鸚鵡でない fact12: その琵琶湖畔は嬉しいとすれば「あの繰り越し税額控除限度超過額は二桁台であるがしかし嬉しくない」ということは嘘である fact13: 「このト書きは嬉しい」ということは真実だとするとその琵琶湖畔は鸚鵡であるけどそれは嬉しくない fact14: 「その琵琶湖畔は二桁台であるしさらに嬉しい」ということは成り立たない fact15: このト書きは応急である fact16: この信楽鬼桶は鸚鵡である fact17: 「仮にその琵琶湖畔が嬉しくないならあの繰り越し税額控除限度超過額は二桁台でない」ということは確かである fact18: その沖積錐は参学するけれど嬉しくない ; $hypothesis$ = もし仮にこのト書きは鸚鵡なら「その琵琶湖畔は二桁台だがしかしそれは嬉しくない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの繰り越し税額控除限度超過額は嬉しくない; fact11 & assump1 -> int1: このト書きは鸚鵡でない; void -> assump2: 以下のように仮定する。このト書きは鸚鵡である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの繰り越し税額控除限度超過額は嬉しい; int3 & fact1 -> int4: 「その琵琶湖畔は二桁台であるけど嬉しくない」ということは間違いだ; [assump2] & int4 -> hypothesis; __PROVED__
事実1: 仮にあの繰り越し税額控除限度超過額は嬉しいならば「その琵琶湖畔は二桁台であるけれど嬉しくない」ということは事実と異なる
事実2: もしもその琵琶湖畔が嬉しいならばあの繰り越し税額控除限度超過額は二桁台だけれど鸚鵡でない
事実3: もし仮にその琵琶湖畔は嬉しいならば「このト書きが二桁台だしかつ鸚鵡である」ということは成り立たない
事実4: このト書きは鸚鵡だ一方で二桁台でない
事実5: 「その琵琶湖畔が二桁台だけど鸚鵡でない」ということは事実でない
事実6: あの繰り越し税額控除限度超過額が嬉しくないならこのト書きは鸚鵡である
事実7: もし仮にあの繰り越し税額控除限度超過額は嬉しいならば「その琵琶湖畔は二桁台であるしその上嬉しい」ということは誤りだ
事実8: もし仮にこのト書きは鸚鵡なら「その琵琶湖畔は二桁台であるしおまけに嬉しい」ということは成り立たない
事実9: その琵琶湖畔は嬉しいならば「このト書きは鸚鵡であるし嬉しい」ということは成り立たない
事実10: 「その琵琶湖畔は生け捕りでない」ということは本当だ
事実11: もしもあの繰り越し税額控除限度超過額が嬉しくないならばこのト書きは鸚鵡でない
事実12: その琵琶湖畔は嬉しいとすれば「あの繰り越し税額控除限度超過額は二桁台であるがしかし嬉しくない」ということは嘘である
事実13: 「このト書きは嬉しい」ということは真実だとするとその琵琶湖畔は鸚鵡であるけどそれは嬉しくない
事実14: 「その琵琶湖畔は二桁台であるしさらに嬉しい」ということは成り立たない
事実15: このト書きは応急である
事実16: この信楽鬼桶は鸚鵡である
事実17: 「仮にその琵琶湖畔が嬉しくないならあの繰り越し税額控除限度超過額は二桁台でない」ということは確かである
事実18: その沖積錐は参学するけれど嬉しくない

仮説: もし仮にこのト書きは鸚鵡なら「その琵琶湖畔は二桁台だがしかしそれは嬉しくない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの繰り越し税額控除限度超過額は嬉しくない
2. 事実11と仮定1から、推論1: "このト書きは鸚鵡でない"が導かれる
3. 仮定2: 以下のように仮定する。このト書きは鸚鵡である
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの繰り越し税額控除限度超過額は嬉しい"が導かれる
6. 推論3と事実1から、推論4: "「その琵琶湖畔は二桁台であるけど嬉しくない」ということは間違いだ"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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