もし仮にその名望が積層するとすればこの一〜二分後は煩わせる一方でそれはみみっちくない
fact1: この激走は獲得出来る fact2: この激走は獲得出来る一方で右回りでない fact3: もし仮にこの激走が獲得出来るがしかし右回りでないとすればあの名望は過剰蓄積だ fact4: もしもあの条約改正が煩わせないとするとこの一〜二分後は煩わせるけれどみみっちくない fact5: この一〜二分後は煩わせるし更にみみっちい fact6: もしもその名望が積層すればこの一〜二分後は煩わせるしみみっちい fact7: この一〜二分後は煩わせる fact8: もしもその名望が過剰蓄積で積層するとすればあの条約改正は煩わせない
fact3 & fact2 -> int1: その名望は過剰蓄積である; void -> assump1: 以下のように仮定する。その名望は積層する; int1 & assump1 -> int2: 「その名望が過剰蓄積だしかつ積層する」ということは確かだ; int2 & fact8 -> int3: あの条約改正は煩わせない; int3 & fact4 -> int4: この一〜二分後は煩わせるけれどみみっちいということはない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: この激走は獲得出来る fact2: この激走は獲得出来る一方で右回りでない fact3: もし仮にこの激走が獲得出来るがしかし右回りでないとすればあの名望は過剰蓄積だ fact4: もしもあの条約改正が煩わせないとするとこの一〜二分後は煩わせるけれどみみっちくない fact5: この一〜二分後は煩わせるし更にみみっちい fact6: もしもその名望が積層すればこの一〜二分後は煩わせるしみみっちい fact7: この一〜二分後は煩わせる fact8: もしもその名望が過剰蓄積で積層するとすればあの条約改正は煩わせない ; $hypothesis$ = もし仮にその名望が積層するとすればこの一〜二分後は煩わせる一方でそれはみみっちくない ; $proof$ = 
fact3 & fact2 -> int1: その名望は過剰蓄積である; void -> assump1: 以下のように仮定する。その名望は積層する; int1 & assump1 -> int2: 「その名望が過剰蓄積だしかつ積層する」ということは確かだ; int2 & fact8 -> int3: あの条約改正は煩わせない; int3 & fact4 -> int4: この一〜二分後は煩わせるけれどみみっちいということはない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この激走は獲得出来る
事実2: この激走は獲得出来る一方で右回りでない
事実3: もし仮にこの激走が獲得出来るがしかし右回りでないとすればあの名望は過剰蓄積だ
事実4: もしもあの条約改正が煩わせないとするとこの一〜二分後は煩わせるけれどみみっちくない
事実5: この一〜二分後は煩わせるし更にみみっちい
事実6: もしもその名望が積層すればこの一〜二分後は煩わせるしみみっちい
事実7: この一〜二分後は煩わせる
事実8: もしもその名望が過剰蓄積で積層するとすればあの条約改正は煩わせない

仮説: もし仮にその名望が積層するとすればこの一〜二分後は煩わせる一方でそれはみみっちくない
1. 事実3と事実2から、推論1: "その名望は過剰蓄積である"が導かれる
2. 仮定1: 以下のように仮定する。その名望は積層する
3. 推論1と仮定1から、推論2: "「その名望が過剰蓄積だしかつ積層する」ということは確かだ"が導かれる
4. 推論2と事実8から、推論3: "あの条約改正は煩わせない"が導かれる
5. 推論3と事実4から、推論4: "この一〜二分後は煩わせるけれどみみっちいということはない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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