あの関トレーナーが入れ難いならばあのＰＨＰ研究所は罪深い
fact1: もしもなんらかの物が飲酒でなくてもどかしくないならばこのＰＨＰ研究所は罪深い fact2: 「「もどかしくない」ということは間違いでない」ものはある fact3: 「飲酒だ一方でもどかしくない」ものはある fact4: もしあの関トレーナーが入れ難いならばもどかしいということはない fact5: もしも何らかのものが飲酒でないけどもどかしいとすればあのＰＨＰ研究所は罪深い fact6: もし仮にあの関トレーナーは入れ難いとしたら「飲酒でないしもどかしくない」ということは確かだ fact7: あの関トレーナーはもどかしくない fact8: あの関トレーナーは飲酒であるとしたらそれはもどかしくないしさらに罪深いということはない
void -> assump1: 以下のように仮定する。あの関トレーナーは入れ難い; fact6 & assump1 -> int1: あの関トレーナーは飲酒でなくてその上もどかしくない; int1 -> int2: 「飲酒だということはないし加えてもどかしいということはない」物はある; int2 & fact1 -> int3: このＰＨＰ研究所は罪深い; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもなんらかの物が飲酒でなくてもどかしくないならばこのＰＨＰ研究所は罪深い fact2: 「「もどかしくない」ということは間違いでない」ものはある fact3: 「飲酒だ一方でもどかしくない」ものはある fact4: もしあの関トレーナーが入れ難いならばもどかしいということはない fact5: もしも何らかのものが飲酒でないけどもどかしいとすればあのＰＨＰ研究所は罪深い fact6: もし仮にあの関トレーナーは入れ難いとしたら「飲酒でないしもどかしくない」ということは確かだ fact7: あの関トレーナーはもどかしくない fact8: あの関トレーナーは飲酒であるとしたらそれはもどかしくないしさらに罪深いということはない ; $hypothesis$ = あの関トレーナーが入れ難いならばあのＰＨＰ研究所は罪深い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの関トレーナーは入れ難い; fact6 & assump1 -> int1: あの関トレーナーは飲酒でなくてその上もどかしくない; int1 -> int2: 「飲酒だということはないし加えてもどかしいということはない」物はある; int2 & fact1 -> int3: このＰＨＰ研究所は罪深い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が飲酒でなくてもどかしくないならばこのＰＨＰ研究所は罪深い
事実2: 「「もどかしくない」ということは間違いでない」ものはある
事実3: 「飲酒だ一方でもどかしくない」ものはある
事実4: もしあの関トレーナーが入れ難いならばもどかしいということはない
事実5: もしも何らかのものが飲酒でないけどもどかしいとすればあのＰＨＰ研究所は罪深い
事実6: もし仮にあの関トレーナーは入れ難いとしたら「飲酒でないしもどかしくない」ということは確かだ
事実7: あの関トレーナーはもどかしくない
事実8: あの関トレーナーは飲酒であるとしたらそれはもどかしくないしさらに罪深いということはない

仮説: あの関トレーナーが入れ難いならばあのＰＨＰ研究所は罪深い
1. 仮定1: 以下のように仮定する。あの関トレーナーは入れ難い
2. 事実6と仮定1から、推論1: "あの関トレーナーは飲酒でなくてその上もどかしくない"が導かれる
3. 推論1から、推論2: "「飲酒だということはないし加えてもどかしいということはない」物はある"が導かれる
4. 推論2と事実1から、推論3: "このＰＨＰ研究所は罪深い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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