その再編後は巨大化する
fact1: 「「過不足無いが心打たない」ということは成り立たない」物はある fact2: 「「過不足無くないしそれに心打たない」ということは成り立たない」物はある fact3: もし「ある物はちょろくない一方で巨大化する」ということは成り立たないならば巨大化しない fact4: もし仮に「「過不足無くなくてそれに心打たない」ということは誤りである」物があるならばあの再編後は巨大化する
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
その再編後は巨大化しない
fact5 -> int1: 「その再編後はちょろいということはないが巨大化する」ということは本当でないとすれば「それは巨大化しない」ということは本当である;
$facts$ = fact1: 「「過不足無いが心打たない」ということは成り立たない」物はある fact2: 「「過不足無くないしそれに心打たない」ということは成り立たない」物はある fact3: もし「ある物はちょろくない一方で巨大化する」ということは成り立たないならば巨大化しない fact4: もし仮に「「過不足無くなくてそれに心打たない」ということは誤りである」物があるならばあの再編後は巨大化する ; $hypothesis$ = その再編後は巨大化する ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: 「「過不足無いが心打たない」ということは成り立たない」物はある
事実2: 「「過不足無くないしそれに心打たない」ということは成り立たない」物はある
事実3: もし「ある物はちょろくない一方で巨大化する」ということは成り立たないならば巨大化しない
事実4: もし仮に「「過不足無くなくてそれに心打たない」ということは誤りである」物があるならばあの再編後は巨大化する

仮説: その再編後は巨大化する
1. 事実2と事実4から、仮説が導かれる

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