そのまよまくLv.96は春らしくない
fact1: あのものもちょLv.68が扱い難いしその上蓄積する fact2: 春らしくないモンスターは承知出来ないけれど防げる fact3: 「承知出来る」モンスターはいる fact4: 「際限無い」モンスターはいる fact5: あのものもちょLv.68は防げる fact6: もしもあるモンスターが承知出来るしかつ防げればそのまよまくLv.96は春らしい fact7: あのものもちょLv.68は承知出来る
fact7 & fact5 -> int1: あのものもちょLv.68は承知出来るしかつ防げる; int1 -> int2: 「承知出来るしさらに防げる」モンスターはいる; int2 & fact6 -> hypothesis;
fact7 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact6 -> hypothesis;
そのまよまくLv.96は防げる
fact8 -> int3: もしそのまよまくLv.96が春らしくないとすればそのまよまくLv.96は承知出来るということはないがしかし防げる;
$facts$ = fact1: あのものもちょLv.68が扱い難いしその上蓄積する fact2: 春らしくないモンスターは承知出来ないけれど防げる fact3: 「承知出来る」モンスターはいる fact4: 「際限無い」モンスターはいる fact5: あのものもちょLv.68は防げる fact6: もしもあるモンスターが承知出来るしかつ防げればそのまよまくLv.96は春らしい fact7: あのものもちょLv.68は承知出来る ; $hypothesis$ = そのまよまくLv.96は春らしくない ; $proof$ = 
fact7 & fact5 -> int1: あのものもちょLv.68は承知出来るしかつ防げる; int1 -> int2: 「承知出来るしさらに防げる」モンスターはいる; int2 & fact6 -> hypothesis; __DISPROVED__
fact7 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact6 -> hypothesis; __DISPROVED__