以下のように仮定する。そのぽよぽわLv.65は暮らし易い
fact1: そのぽよぽわLv.65が続き易くないが見え難いとすればあのまゆまくLv.78は暮らし易い fact2: 仮にそのぽよぽわLv.65が暮らし易くないけれどそれはけたたましいとすれば「あのみわみいLv.20は続き易いということはない」ということは間違いでない fact3: 仮にそのぽよぽわLv.65が暮らし易いとしたらあのまゆまくLv.78は続き易くないが見え難い fact4: もし仮にあのまゆまくLv.78が暮らし易いならそのぽよぽわLv.65は暮らし易い fact5: あのまゆまくLv.78は見え難い fact6: このぷえぷくLv.80はけたたましくない
void -> assump1: 以下のように仮定する。そのぽよぽわLv.65は暮らし易い; fact3 & assump1 -> int1: あのまゆまくLv.78は続き易くない一方で見え難い;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: (¬{AA}{b} & {AB}{b});
あのみわみいLv.20は続き易いということはない
$facts$ = fact1: そのぽよぽわLv.65が続き易くないが見え難いとすればあのまゆまくLv.78は暮らし易い fact2: 仮にそのぽよぽわLv.65が暮らし易くないけれどそれはけたたましいとすれば「あのみわみいLv.20は続き易いということはない」ということは間違いでない fact3: 仮にそのぽよぽわLv.65が暮らし易いとしたらあのまゆまくLv.78は続き易くないが見え難い fact4: もし仮にあのまゆまくLv.78が暮らし易いならそのぽよぽわLv.65は暮らし易い fact5: あのまゆまくLv.78は見え難い fact6: このぷえぷくLv.80はけたたましくない ; $hypothesis$ = 以下のように仮定する。そのぽよぽわLv.65は暮らし易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__