以下のように仮定する。「あのぷなぷのLv.29は確約しないけれど広がり易い」ということは間違いだ
fact1: 吝くないし溜め込み易いモンスターは確約しない fact2: あのぷなぷのLv.29は吝い
そのみにょみわLv.10は確約しない
fact3 -> int1: 仮にそのみにょみわLv.10は吝くないけれど溜め込み易いとしたら確約しない;
$facts$ = fact1: 吝くないし溜め込み易いモンスターは確約しない fact2: あのぷなぷのLv.29は吝い ; $hypothesis$ = 以下のように仮定する。「あのぷなぷのLv.29は確約しないけれど広がり易い」ということは間違いだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__