そのぽにゃぽやLv.39は失敗する
fact1: 偉いモンスターは新し fact2: そのぽにゃぽやLv.39は気恥ずかしくない fact3: もし仮にそのぽにゃぽやLv.39が偉くないならそのぽにゃぽやLv.39は失敗する fact4: そのぽにゃぽやLv.39は新ししかつそれは起債する fact5: もしそのぽにゃぽやLv.39が気恥ずかしくないとすればけたたましくてさらにやくざっぽい fact6: もしそのぽにゃぽやLv.39は起債するし疾しとするとそれは偉くない fact7: なんらかのモンスターはやくざっぽいとすれば「失敗するけど貸し借りしない」ということは成り立たない fact8: もし仮に「新しかまたは起債するかあるいは両方ともである」モンスターがいるとすればあのまよまちゃLv.28は疾しということはない
fact4 -> int1: そのぽにゃぽやLv.39は起債する;
fact4 -> int1: {B}{a};
あのまよまちゃLv.28は疾しない
fact9 -> int2: 仮にそのぽにゃぽやLv.39が偉いとすると新し; fact12 -> int3: そのぽにゃぽやLv.39はやくざっぽいならば「失敗するけれど貸し借りするということはない」ということは間違っている; fact10 & fact13 -> int4: そのぽにゃぽやLv.39はけたたましくてそれにそれはやくざっぽい; int4 -> int5: 「そのぽにゃぽやLv.39はやくざっぽい」ということは事実だ; int3 & int5 -> int6: 「そのぽにゃぽやLv.39は失敗する一方で貸し借りしない」ということは真実でない;
$facts$ = fact1: 偉いモンスターは新し fact2: そのぽにゃぽやLv.39は気恥ずかしくない fact3: もし仮にそのぽにゃぽやLv.39が偉くないならそのぽにゃぽやLv.39は失敗する fact4: そのぽにゃぽやLv.39は新ししかつそれは起債する fact5: もしそのぽにゃぽやLv.39が気恥ずかしくないとすればけたたましくてさらにやくざっぽい fact6: もしそのぽにゃぽやLv.39は起債するし疾しとするとそれは偉くない fact7: なんらかのモンスターはやくざっぽいとすれば「失敗するけど貸し借りしない」ということは成り立たない fact8: もし仮に「新しかまたは起債するかあるいは両方ともである」モンスターがいるとすればあのまよまちゃLv.28は疾しということはない ; $hypothesis$ = そのぽにゃぽやLv.39は失敗する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__