「もしこの兵役税がポピュラー・ミュージックでないならばあの心理臨床家は聾しない」ということは正しい
fact1: 「この心理臨床家は聾しない一方でポピュラー・ミュージックだ」ということは偽である fact2: 「この兵役税はブラバスらしくないがそれは逆宣伝だ」ということは事実と異なるならこの心理臨床家は聾しない fact3: もしこの心理臨床家が逆宣伝でないとすればあの兵役税は聾しない fact4: もし仮にこの兵役税が聾するということはないとするとこの心理臨床家は逆宣伝である fact5: 「この兵役税はブラバスらしいということはない一方で聾する」ということは成り立たない fact6: 仮に「この兵役税はブラバスらしくないが逆宣伝だ」ということは成り立たないとするとこの心理臨床家は聾する fact7: この兵役税が聾しないとすればこの心理臨床家はブラバスらしくない fact8: 仮にこの兵役税はポピュラー・ミュージックでないなら「ブラバスらしいということはないしまた逆宣伝だ」ということは誤っている fact9: この心理臨床家はブラバスらしくない fact10: 仮にこの兵役税がポピュラー・ミュージックだとするとこの心理臨床家は聾しない fact11: この兵役税はＤＩＳオーダーでない fact12: もしこの心理臨床家が逆宣伝でないならばこの兵役税は聾する fact13: 「この心理臨床家は入り口近くでない」ということは本当である fact14: もしこの兵役税が聾しないとしたらこの心理臨床家はポピュラー・ミュージックでない fact15: この心理臨床家はポピュラー・ミュージックでない fact16: この兵役税は入り口近くでない fact17: この兵役税は求め始めない fact18: もし仮に「「この兵役税は聾しないけどブラバスらしい」ということは成り立つ」ということは事実と異なればこの心理臨床家はポピュラー・ミュージックでない fact19: この冬虫夏草は聾するということはない fact20: もしこの兵役税は逆宣伝でないとすれば「この心理臨床家は聾しない」ということは事実である fact21: 「「この心理臨床家は逆宣伝でないが聾する」ということは成り立つ」ということは成り立たない fact22: もしも「この兵役税は逆宣伝でない」ということは確かであるならば「それはポピュラー・ミュージックでないし聾する」ということは成り立たない
void -> assump1: 以下のように仮定する。この兵役税はポピュラー・ミュージックでない; fact8 & assump1 -> int1: 「この兵役税はブラバスらしくないけどそれは逆宣伝だ」ということは間違っている; int1 & fact2 -> int2: この心理臨床家は聾しない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「この心理臨床家は聾しない一方でポピュラー・ミュージックだ」ということは偽である fact2: 「この兵役税はブラバスらしくないがそれは逆宣伝だ」ということは事実と異なるならこの心理臨床家は聾しない fact3: もしこの心理臨床家が逆宣伝でないとすればあの兵役税は聾しない fact4: もし仮にこの兵役税が聾するということはないとするとこの心理臨床家は逆宣伝である fact5: 「この兵役税はブラバスらしいということはない一方で聾する」ということは成り立たない fact6: 仮に「この兵役税はブラバスらしくないが逆宣伝だ」ということは成り立たないとするとこの心理臨床家は聾する fact7: この兵役税が聾しないとすればこの心理臨床家はブラバスらしくない fact8: 仮にこの兵役税はポピュラー・ミュージックでないなら「ブラバスらしいということはないしまた逆宣伝だ」ということは誤っている fact9: この心理臨床家はブラバスらしくない fact10: 仮にこの兵役税がポピュラー・ミュージックだとするとこの心理臨床家は聾しない fact11: この兵役税はＤＩＳオーダーでない fact12: もしこの心理臨床家が逆宣伝でないならばこの兵役税は聾する fact13: 「この心理臨床家は入り口近くでない」ということは本当である fact14: もしこの兵役税が聾しないとしたらこの心理臨床家はポピュラー・ミュージックでない fact15: この心理臨床家はポピュラー・ミュージックでない fact16: この兵役税は入り口近くでない fact17: この兵役税は求め始めない fact18: もし仮に「「この兵役税は聾しないけどブラバスらしい」ということは成り立つ」ということは事実と異なればこの心理臨床家はポピュラー・ミュージックでない fact19: この冬虫夏草は聾するということはない fact20: もしこの兵役税は逆宣伝でないとすれば「この心理臨床家は聾しない」ということは事実である fact21: 「「この心理臨床家は逆宣伝でないが聾する」ということは成り立つ」ということは成り立たない fact22: もしも「この兵役税は逆宣伝でない」ということは確かであるならば「それはポピュラー・ミュージックでないし聾する」ということは成り立たない ; $hypothesis$ = 「もしこの兵役税がポピュラー・ミュージックでないならばあの心理臨床家は聾しない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この兵役税はポピュラー・ミュージックでない; fact8 & assump1 -> int1: 「この兵役税はブラバスらしくないけどそれは逆宣伝だ」ということは間違っている; int1 & fact2 -> int2: この心理臨床家は聾しない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「この心理臨床家は聾しない一方でポピュラー・ミュージックだ」ということは偽である
事実2: 「この兵役税はブラバスらしくないがそれは逆宣伝だ」ということは事実と異なるならこの心理臨床家は聾しない
事実3: もしこの心理臨床家が逆宣伝でないとすればあの兵役税は聾しない
事実4: もし仮にこの兵役税が聾するということはないとするとこの心理臨床家は逆宣伝である
事実5: 「この兵役税はブラバスらしいということはない一方で聾する」ということは成り立たない
事実6: 仮に「この兵役税はブラバスらしくないが逆宣伝だ」ということは成り立たないとするとこの心理臨床家は聾する
事実7: この兵役税が聾しないとすればこの心理臨床家はブラバスらしくない
事実8: 仮にこの兵役税はポピュラー・ミュージックでないなら「ブラバスらしいということはないしまた逆宣伝だ」ということは誤っている
事実9: この心理臨床家はブラバスらしくない
事実10: 仮にこの兵役税がポピュラー・ミュージックだとするとこの心理臨床家は聾しない
事実11: この兵役税はＤＩＳオーダーでない
事実12: もしこの心理臨床家が逆宣伝でないならばこの兵役税は聾する
事実13: 「この心理臨床家は入り口近くでない」ということは本当である
事実14: もしこの兵役税が聾しないとしたらこの心理臨床家はポピュラー・ミュージックでない
事実15: この心理臨床家はポピュラー・ミュージックでない
事実16: この兵役税は入り口近くでない
事実17: この兵役税は求め始めない
事実18: もし仮に「「この兵役税は聾しないけどブラバスらしい」ということは成り立つ」ということは事実と異なればこの心理臨床家はポピュラー・ミュージックでない
事実19: この冬虫夏草は聾するということはない
事実20: もしこの兵役税は逆宣伝でないとすれば「この心理臨床家は聾しない」ということは事実である
事実21: 「「この心理臨床家は逆宣伝でないが聾する」ということは成り立つ」ということは成り立たない
事実22: もしも「この兵役税は逆宣伝でない」ということは確かであるならば「それはポピュラー・ミュージックでないし聾する」ということは成り立たない

仮説: 「もしこの兵役税がポピュラー・ミュージックでないならばあの心理臨床家は聾しない」ということは正しい
1. 仮定1: 以下のように仮定する。この兵役税はポピュラー・ミュージックでない
2. 事実8と仮定1から、推論1: "「この兵役税はブラバスらしくないけどそれは逆宣伝だ」ということは間違っている"が導かれる
3. 推論1と事実2から、推論2: "この心理臨床家は聾しない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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