「そのぴえぴわLv.19は厚着するかあるいは立て難い」ということは成り立たない
fact1: あのぴちゃぴいLv.25は付け易くない fact2: このまちゃまねLv.12は長ったらしい fact3: もし仮になにがしかのモンスターが成され易くてそれが長ったらしいとすればそのぴえぴわLv.19は厚着する fact4: もし仮にあのぴちゃぴいLv.25が付け易くないとすればこのまちゃまねLv.12は成され易い
fact4 & fact1 -> int1: 「このまちゃまねLv.12は成され易い」ということは正しい; int1 & fact2 -> int2: このまちゃまねLv.12は成され易くてそれは長ったらしい; int2 -> int3: 「成され易くて長ったらしい」モンスターはいる; int3 & fact3 -> int4: そのぴえぴわLv.19は厚着する; int4 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact3 -> int4: {D}{c}; int4 -> hypothesis;
$facts$ = fact1: あのぴちゃぴいLv.25は付け易くない fact2: このまちゃまねLv.12は長ったらしい fact3: もし仮になにがしかのモンスターが成され易くてそれが長ったらしいとすればそのぴえぴわLv.19は厚着する fact4: もし仮にあのぴちゃぴいLv.25が付け易くないとすればこのまちゃまねLv.12は成され易い ; $hypothesis$ = 「そのぴえぴわLv.19は厚着するかあるいは立て難い」ということは成り立たない ; $proof$ = 
fact4 & fact1 -> int1: 「このまちゃまねLv.12は成され易い」ということは正しい; int1 & fact2 -> int2: このまちゃまねLv.12は成され易くてそれは長ったらしい; int2 -> int3: 「成され易くて長ったらしい」モンスターはいる; int3 & fact3 -> int4: そのぴえぴわLv.19は厚着する; int4 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact3 -> int4: {D}{c}; int4 -> hypothesis; __DISPROVED__