以下のように仮定する。「「このぽわぽちゃLv.41は溜め込み易くない一方でフィールドワークする」ということは誤っている」ということは真実である
fact1: このもにゃもにゃLv.69はフィールドワークしない fact2: 「このぽわぽちゃLv.41は血腥くないけれどそれは取れ易い」ということは成り立たない fact3: もし「なんらかのモンスターは溜め込み易くない一方でフィールドワークする」ということは成り立たないなら粗くない fact4: 「このぽわぽちゃLv.41は溜め込み易いしその上フィールドワークする」ということは誤っている
fact3 -> int1: もしも「このぽわぽちゃLv.41は溜め込み易くない一方でフィールドワークする」ということは成り立つということはないならばこのぽわぽちゃLv.41は粗くない; void -> assump1: 以下のように仮定する。「「このぽわぽちゃLv.41は溜め込み易くない一方でフィールドワークする」ということは誤っている」ということは真実である; int1 & assump1 -> int2: 「このぽわぽちゃLv.41は粗くない」ということは事実である;
fact3 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa};
$facts$ = fact1: このもにゃもにゃLv.69はフィールドワークしない fact2: 「このぽわぽちゃLv.41は血腥くないけれどそれは取れ易い」ということは成り立たない fact3: もし「なんらかのモンスターは溜め込み易くない一方でフィールドワークする」ということは成り立たないなら粗くない fact4: 「このぽわぽちゃLv.41は溜め込み易いしその上フィールドワークする」ということは誤っている ; $hypothesis$ = 以下のように仮定する。「「このぽわぽちゃLv.41は溜め込み易くない一方でフィールドワークする」ということは誤っている」ということは真実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__