もし仮にその出征兵士が成り得ないならその童子達は押し進めないしかつダイヤモンドテレビでない
fact1: その童子達は成り得ないとすれば「その出征兵士はダイヤモンドテレビでない」ということは本当である fact2: もしもその出征兵士が押し進めないならばその童子達はダイヤモンドテレビである一方で混同し易くない fact3: その童子達は成り得れば「その出征兵士は印字するがそれはちらつかない」ということは成り立たない fact4: その童子達が茹だるとするとそれは押し進めるけどダイヤモンドテレビでない fact5: 「その童子達はダイヤモンドテレビだけれど面目無くない」ということは事実と異なる fact6: もしその出征兵士は成り得ないなら「それは混同し易いがしかし面目無くない」ということは成り立たない fact7: 仮に「その出征兵士は混同し易いがしかし面目無くない」ということは事実と異なるとしたらその童子達は茹だる fact8: 「移り変わらない」ものはある fact9: 仮にその出征兵士は成り得ないなら「それは混同し易くて面目無い」ということは偽である fact10: 「その出征兵士はダイヤモンドテレビである」ということは真実ならばそれは茹だるが成り得ない fact11: もし仮にその出征兵士がダイヤモンドテレビだということはないとすればその童子達は混同し易くないし茹だるということはない fact12: もしもその童子達が面目無くないとすればあの出征兵士はダイヤモンドテレビだ一方で茹だるということはない fact13: なにがしかのものが棚田だとすればそれはちらつかなくて詔しない fact14: 仮にその童子達が茹だるとしたらダイヤモンドテレビでない fact15: その出征兵士は押し進めるとすれば「その童子達は面目無い」ということは本当だ fact16: 判断し難くないし吸収され難いということはない物は押し進めない fact17: その出征兵士は茹だる fact18: もし仮にそのツインカムは押し進めないなら「それは如此しがしかし移り難くない」ということは間違っている fact19: もしもこの熟年が進入しないとするとそれは判断し難くないしさらに吸収され難くない fact20: もし仮に何かは茹だるとすれば押し進めなくてそれにダイヤモンドテレビでない
void -> assump1: 以下のように仮定する。その出征兵士は成り得ない; fact6 & assump1 -> int1: 「「その出征兵士は混同し易いがそれは面目無くない」ということは本当である」ということは事実と異なる; int1 & fact7 -> int2: 「その童子達は茹だる」ということは確かである; fact20 -> int3: もし「その童子達は茹だる」ということは成り立つとしたら押し進めないしおまけにダイヤモンドテレビでない; int2 & int3 -> int4: その童子達は押し進めないしさらにダイヤモンドテレビでない; [assump1] & int4 -> hypothesis;
「その出征兵士は印字するがしかしちらつかない」ということは誤りだ
fact22 -> int5: もしこの熟年は判断し難くないし更に吸収され難くないとしたらそれは押し進めない;
$facts$ = fact1: その童子達は成り得ないとすれば「その出征兵士はダイヤモンドテレビでない」ということは本当である fact2: もしもその出征兵士が押し進めないならばその童子達はダイヤモンドテレビである一方で混同し易くない fact3: その童子達は成り得れば「その出征兵士は印字するがそれはちらつかない」ということは成り立たない fact4: その童子達が茹だるとするとそれは押し進めるけどダイヤモンドテレビでない fact5: 「その童子達はダイヤモンドテレビだけれど面目無くない」ということは事実と異なる fact6: もしその出征兵士は成り得ないなら「それは混同し易いがしかし面目無くない」ということは成り立たない fact7: 仮に「その出征兵士は混同し易いがしかし面目無くない」ということは事実と異なるとしたらその童子達は茹だる fact8: 「移り変わらない」ものはある fact9: 仮にその出征兵士は成り得ないなら「それは混同し易くて面目無い」ということは偽である fact10: 「その出征兵士はダイヤモンドテレビである」ということは真実ならばそれは茹だるが成り得ない fact11: もし仮にその出征兵士がダイヤモンドテレビだということはないとすればその童子達は混同し易くないし茹だるということはない fact12: もしもその童子達が面目無くないとすればあの出征兵士はダイヤモンドテレビだ一方で茹だるということはない fact13: なにがしかのものが棚田だとすればそれはちらつかなくて詔しない fact14: 仮にその童子達が茹だるとしたらダイヤモンドテレビでない fact15: その出征兵士は押し進めるとすれば「その童子達は面目無い」ということは本当だ fact16: 判断し難くないし吸収され難いということはない物は押し進めない fact17: その出征兵士は茹だる fact18: もし仮にそのツインカムは押し進めないなら「それは如此しがしかし移り難くない」ということは間違っている fact19: もしもこの熟年が進入しないとするとそれは判断し難くないしさらに吸収され難くない fact20: もし仮に何かは茹だるとすれば押し進めなくてそれにダイヤモンドテレビでない ; $hypothesis$ = もし仮にその出征兵士が成り得ないならその童子達は押し進めないしかつダイヤモンドテレビでない ; $proof$ = 
void -> assump1: 以下のように仮定する。その出征兵士は成り得ない; fact6 & assump1 -> int1: 「「その出征兵士は混同し易いがそれは面目無くない」ということは本当である」ということは事実と異なる; int1 & fact7 -> int2: 「その童子達は茹だる」ということは確かである; fact20 -> int3: もし「その童子達は茹だる」ということは成り立つとしたら押し進めないしおまけにダイヤモンドテレビでない; int2 & int3 -> int4: その童子達は押し進めないしさらにダイヤモンドテレビでない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その童子達は成り得ないとすれば「その出征兵士はダイヤモンドテレビでない」ということは本当である
事実2: もしもその出征兵士が押し進めないならばその童子達はダイヤモンドテレビである一方で混同し易くない
事実3: その童子達は成り得れば「その出征兵士は印字するがそれはちらつかない」ということは成り立たない
事実4: その童子達が茹だるとするとそれは押し進めるけどダイヤモンドテレビでない
事実5: 「その童子達はダイヤモンドテレビだけれど面目無くない」ということは事実と異なる
事実6: もしその出征兵士は成り得ないなら「それは混同し易いがしかし面目無くない」ということは成り立たない
事実7: 仮に「その出征兵士は混同し易いがしかし面目無くない」ということは事実と異なるとしたらその童子達は茹だる
事実8: 「移り変わらない」ものはある
事実9: 仮にその出征兵士は成り得ないなら「それは混同し易くて面目無い」ということは偽である
事実10: 「その出征兵士はダイヤモンドテレビである」ということは真実ならばそれは茹だるが成り得ない
事実11: もし仮にその出征兵士がダイヤモンドテレビだということはないとすればその童子達は混同し易くないし茹だるということはない
事実12: もしもその童子達が面目無くないとすればあの出征兵士はダイヤモンドテレビだ一方で茹だるということはない
事実13: なにがしかのものが棚田だとすればそれはちらつかなくて詔しない
事実14: 仮にその童子達が茹だるとしたらダイヤモンドテレビでない
事実15: その出征兵士は押し進めるとすれば「その童子達は面目無い」ということは本当だ
事実16: 判断し難くないし吸収され難いということはない物は押し進めない
事実17: その出征兵士は茹だる
事実18: もし仮にそのツインカムは押し進めないなら「それは如此しがしかし移り難くない」ということは間違っている
事実19: もしもこの熟年が進入しないとするとそれは判断し難くないしさらに吸収され難くない
事実20: もし仮に何かは茹だるとすれば押し進めなくてそれにダイヤモンドテレビでない

仮説: もし仮にその出征兵士が成り得ないならその童子達は押し進めないしかつダイヤモンドテレビでない
1. 仮定1: 以下のように仮定する。その出征兵士は成り得ない
2. 事実6と仮定1から、推論1: "「「その出征兵士は混同し易いがそれは面目無くない」ということは本当である」ということは事実と異なる"が導かれる
3. 推論1と事実7から、推論2: "「その童子達は茹だる」ということは確かである"が導かれる
4. 事実20から、推論3: "もし「その童子達は茹だる」ということは成り立つとしたら押し進めないしおまけにダイヤモンドテレビでない"が導かれる
5. 推論2と推論3から、推論4: "その童子達は押し進めないしさらにダイヤモンドテレビでない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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