そのまちょまのLv.12は動き難くない
fact1: そのみよみえLv.26は目まぐるしい fact2: そのものもわLv.14が難航すればそのものもわLv.14は急発進する fact3: もしもあるモンスターが伏し拝むとすると崩れ易い fact4: そのものもわLv.14がスライディングするならそのものもわLv.14は難航する fact5: もし仮にそのみよみえLv.26が目まぐるしいとしたらそのみよみえLv.26は崩れ易い fact6: 仮にそのみよみえLv.26が崩れ易いとするとそのものもわLv.14はスライディングする fact7: もしそのまちょまのLv.12はスライディングしなくて難航しないなら「それは崩れ易くない」ということは成り立つ fact8: もし仮にそのものもわLv.14が急発進するならそのまちょまのLv.12は動き難い fact9: 目まぐるしいモンスターは崩れ易くないなら「それは動き難くない」ということは真実だ
fact5 & fact1 -> int1: 「「そのみよみえLv.26は崩れ易くない」ということは真実である」ということは成り立たない; int1 & fact6 -> int2: そのものもわLv.14はスライディングする; int2 & fact4 -> int3: そのものもわLv.14は難航する; int3 & fact2 -> int4: そのものもわLv.14は急発進する; int4 & fact8 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact2 -> int4: {E}{b}; int4 & fact8 -> hypothesis;
そのまちょまのLv.12は動き難くない
fact10 -> int5: もし仮にそのまちょまのLv.12が目まぐるしいけど崩れ易くないとすればそのまちょまのLv.12は動き難いということはない;
$facts$ = fact1: そのみよみえLv.26は目まぐるしい fact2: そのものもわLv.14が難航すればそのものもわLv.14は急発進する fact3: もしもあるモンスターが伏し拝むとすると崩れ易い fact4: そのものもわLv.14がスライディングするならそのものもわLv.14は難航する fact5: もし仮にそのみよみえLv.26が目まぐるしいとしたらそのみよみえLv.26は崩れ易い fact6: 仮にそのみよみえLv.26が崩れ易いとするとそのものもわLv.14はスライディングする fact7: もしそのまちょまのLv.12はスライディングしなくて難航しないなら「それは崩れ易くない」ということは成り立つ fact8: もし仮にそのものもわLv.14が急発進するならそのまちょまのLv.12は動き難い fact9: 目まぐるしいモンスターは崩れ易くないなら「それは動き難くない」ということは真実だ ; $hypothesis$ = そのまちょまのLv.12は動き難くない ; $proof$ = 
fact5 & fact1 -> int1: 「「そのみよみえLv.26は崩れ易くない」ということは真実である」ということは成り立たない; int1 & fact6 -> int2: そのものもわLv.14はスライディングする; int2 & fact4 -> int3: そのものもわLv.14は難航する; int3 & fact2 -> int4: そのものもわLv.14は急発進する; int4 & fact8 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact2 -> int4: {E}{b}; int4 & fact8 -> hypothesis; __DISPROVED__