「その安全審査は関われるということはない一方でボンボンだ」ということは誤りである
fact1: もしあの羞恥は刑法上ならば「あの水素イオン濃度は刑法上である」ということは成り立つ fact2: あの羞恥は背表紙であるかもしくは刑法上だ fact3: 仮に「あのプロデューシング・ワークはブートするけど大塚久雄著作集でない」ということは真実ならば「あの水素イオン濃度は刑法上だということはない」ということは成り立つ fact4: 仮に「あの羞恥は背表紙だ」ということは成り立つならあの水素イオン濃度は刑法上だ fact5: もし仮に「百姓らしくない」物はあるなら「その安全審査は関われないがしかしボンボンだ」ということは誤りである fact6: もしも「「ブートするしさらに大塚久雄著作集でない」ということは正しくない」物があればこのオーディエンスは百姓らしいということはない
void -> assump1: 以下のように仮定する。あのプロデューシング・ワークはブートするがしかし大塚久雄著作集でない; fact3 & assump1 -> int1: あの水素イオン濃度は刑法上でない; fact4 & fact1 & fact2 -> int2: あの水素イオン濃度は刑法上だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのプロデューシング・ワークはブートする一方で大塚久雄著作集でない」ということは事実と異なる; int4 -> int5: 「「ブートするけれど大塚久雄著作集でない」ということは成り立たない」ものはある; int5 & fact6 -> int6: このオーディエンスは百姓らしくない; int6 -> int7: 百姓らしいということはない物はある; int7 & fact5 -> hypothesis;
$facts$ = fact1: もしあの羞恥は刑法上ならば「あの水素イオン濃度は刑法上である」ということは成り立つ fact2: あの羞恥は背表紙であるかもしくは刑法上だ fact3: 仮に「あのプロデューシング・ワークはブートするけど大塚久雄著作集でない」ということは真実ならば「あの水素イオン濃度は刑法上だということはない」ということは成り立つ fact4: 仮に「あの羞恥は背表紙だ」ということは成り立つならあの水素イオン濃度は刑法上だ fact5: もし仮に「百姓らしくない」物はあるなら「その安全審査は関われないがしかしボンボンだ」ということは誤りである fact6: もしも「「ブートするしさらに大塚久雄著作集でない」ということは正しくない」物があればこのオーディエンスは百姓らしいということはない ; $hypothesis$ = 「その安全審査は関われるということはない一方でボンボンだ」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あのプロデューシング・ワークはブートするがしかし大塚久雄著作集でない; fact3 & assump1 -> int1: あの水素イオン濃度は刑法上でない; fact4 & fact1 & fact2 -> int2: あの水素イオン濃度は刑法上だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのプロデューシング・ワークはブートする一方で大塚久雄著作集でない」ということは事実と異なる; int4 -> int5: 「「ブートするけれど大塚久雄著作集でない」ということは成り立たない」ものはある; int5 & fact6 -> int6: このオーディエンスは百姓らしくない; int6 -> int7: 百姓らしいということはない物はある; int7 & fact5 -> hypothesis; __PROVED__
事実1: もしあの羞恥は刑法上ならば「あの水素イオン濃度は刑法上である」ということは成り立つ
事実2: あの羞恥は背表紙であるかもしくは刑法上だ
事実3: 仮に「あのプロデューシング・ワークはブートするけど大塚久雄著作集でない」ということは真実ならば「あの水素イオン濃度は刑法上だということはない」ということは成り立つ
事実4: 仮に「あの羞恥は背表紙だ」ということは成り立つならあの水素イオン濃度は刑法上だ
事実5: もし仮に「百姓らしくない」物はあるなら「その安全審査は関われないがしかしボンボンだ」ということは誤りである
事実6: もしも「「ブートするしさらに大塚久雄著作集でない」ということは正しくない」物があればこのオーディエンスは百姓らしいということはない

仮説: 「その安全審査は関われるということはない一方でボンボンだ」ということは誤りである
1. 仮定1: 以下のように仮定する。あのプロデューシング・ワークはブートするがしかし大塚久雄著作集でない
2. 事実3と仮定1から、推論1: "あの水素イオン濃度は刑法上でない"が導かれる
3. 事実4と事実1と事実2から、推論2: "あの水素イオン濃度は刑法上だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あのプロデューシング・ワークはブートする一方で大塚久雄著作集でない」ということは事実と異なる"が導かれる
6. 推論4から、推論5: "「「ブートするけれど大塚久雄著作集でない」ということは成り立たない」ものはある"が導かれる
7. 推論5と事実6から、推論6: "このオーディエンスは百姓らしくない"が導かれる
8. 推論6から、推論7: "百姓らしいということはない物はある"が導かれる
9. 推論7と事実5から、仮説が導かれる

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