あのＦＴＴＨが呆気ないとするとその首根っ子は慎ましい
fact1: もし仮にあのＦＴＴＨは呆気ないとすると「「その首根っ子はグリンピースであるけど信じ合えない」ということは成り立つ」ということは嘘である fact2: もし仮に「何かはグリンピースだけれど信じ合えない」ということは間違っているなら「それは慎ましい」ということは本当だ
void -> assump1: 以下のように仮定する。あのＦＴＴＨは呆気ない; fact1 & assump1 -> int1: 「その首根っ子はグリンピースであるけど信じ合えない」ということは成り立たない; fact2 -> int2: もしも「その首根っ子はグリンピースであるが信じ合えるということはない」ということは誤りであるとしたら「慎ましい」ということは確かである; int1 & int2 -> int3: その首根っ子は慎ましい; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にあのＦＴＴＨは呆気ないとすると「「その首根っ子はグリンピースであるけど信じ合えない」ということは成り立つ」ということは嘘である fact2: もし仮に「何かはグリンピースだけれど信じ合えない」ということは間違っているなら「それは慎ましい」ということは本当だ ; $hypothesis$ = あのＦＴＴＨが呆気ないとするとその首根っ子は慎ましい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＦＴＴＨは呆気ない; fact1 & assump1 -> int1: 「その首根っ子はグリンピースであるけど信じ合えない」ということは成り立たない; fact2 -> int2: もしも「その首根っ子はグリンピースであるが信じ合えるということはない」ということは誤りであるとしたら「慎ましい」ということは確かである; int1 & int2 -> int3: その首根っ子は慎ましい; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にあのＦＴＴＨは呆気ないとすると「「その首根っ子はグリンピースであるけど信じ合えない」ということは成り立つ」ということは嘘である
事実2: もし仮に「何かはグリンピースだけれど信じ合えない」ということは間違っているなら「それは慎ましい」ということは本当だ

仮説: あのＦＴＴＨが呆気ないとするとその首根っ子は慎ましい
1. 仮定1: 以下のように仮定する。あのＦＴＴＨは呆気ない
2. 事実1と仮定1から、推論1: "「その首根っ子はグリンピースであるけど信じ合えない」ということは成り立たない"が導かれる
3. 事実2から、推論2: "もしも「その首根っ子はグリンピースであるが信じ合えるということはない」ということは誤りであるとしたら「慎ましい」ということは確かである"が導かれる
4. 推論1と推論2から、推論3: "その首根っ子は慎ましい"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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