そのぷなぷちゃLv.61は抱え切れない
fact1: そのぴちゅぴちゃLv.41は合い難い fact2: もしそのぴちゅぴちゃLv.41は合い難くて付け難いならば「そのぷなぷちゃLv.61は抱え切れない」ということは成り立つ fact3: あのもなもにLv.24は紛らわしくて辛い fact4: もしもそのぴちゅぴちゃLv.41はネイティブらしいならば「そのぴちゅぴちゃLv.41は付け難い」ということは成り立つ fact5: もしあのもなもにLv.24は辛いとしたら「そのぴちゅぴちゃLv.41はネイティブらしい」ということは事実と異ならない
fact3 -> int1: あのもなもにLv.24は辛い; int1 & fact5 -> int2: そのぴちゅぴちゃLv.41はネイティブらしい; int2 & fact4 -> int3: そのぴちゅぴちゃLv.41は付け難い; int3 & fact1 -> int4: そのぴちゅぴちゃLv.41は合い難いし付け難い; int4 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact1 -> int4: ({E}{b} & {D}{b}); int4 & fact2 -> hypothesis;
$facts$ = fact1: そのぴちゅぴちゃLv.41は合い難い fact2: もしそのぴちゅぴちゃLv.41は合い難くて付け難いならば「そのぷなぷちゃLv.61は抱え切れない」ということは成り立つ fact3: あのもなもにLv.24は紛らわしくて辛い fact4: もしもそのぴちゅぴちゃLv.41はネイティブらしいならば「そのぴちゅぴちゃLv.41は付け難い」ということは成り立つ fact5: もしあのもなもにLv.24は辛いとしたら「そのぴちゅぴちゃLv.41はネイティブらしい」ということは事実と異ならない ; $hypothesis$ = そのぷなぷちゃLv.61は抱え切れない ; $proof$ = 
fact3 -> int1: あのもなもにLv.24は辛い; int1 & fact5 -> int2: そのぴちゅぴちゃLv.41はネイティブらしい; int2 & fact4 -> int3: そのぴちゅぴちゃLv.41は付け難い; int3 & fact1 -> int4: そのぴちゅぴちゃLv.41は合い難いし付け難い; int4 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact1 -> int4: ({E}{b} & {D}{b}); int4 & fact2 -> hypothesis; __PROVED__