このみくみにょLv.11は見出だし難くない
fact1: 濃いモンスターは烏滸がましい fact2: もしもこのみくみにょLv.11は濃いならば「このみくみにょLv.11は小暗い」ということは確かだ fact3: このみくみにょLv.11は烏滸がましいし濃い
fact3 -> int1: このみくみにょLv.11は濃い; int1 & fact2 -> int2: 「このみくみにょLv.11は小暗い」ということは事実だ;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a};
このみくみにょLv.11は見出だし難くない
fact4 -> int3: もし仮にあのまにょまわLv.40が濃いとするとあのまにょまわLv.40は烏滸がましい;
$facts$ = fact1: 濃いモンスターは烏滸がましい fact2: もしもこのみくみにょLv.11は濃いならば「このみくみにょLv.11は小暗い」ということは確かだ fact3: このみくみにょLv.11は烏滸がましいし濃い ; $hypothesis$ = このみくみにょLv.11は見出だし難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__