「「そのぽにぽにょLv.5は調達出来るし加えて黄金分割する」ということは間違っている」ということは真実である
fact1: とあるモンスターはすばしっこくないならば「「それは調達出来るし黄金分割する」ということは事実だ」ということは成り立たない fact2: もしそのもちゃもにゃLv.93は山深いとしたら「そのぽにぽにょLv.5は黄金分割する」ということは確かである fact3: なにがしかのモンスターはすばしっこくないとすると「「それは物憂くないがしかし操作し易い」ということは本当である」ということは成り立たない fact4: そのぽにぽにょLv.5は調達出来る fact5: 「そのもちゃもにゃLv.93は物憂いということはないが操作し易い」ということは誤りだとしたら「そのもちゃもにゃLv.93は山深い」ということは成り立つ fact6: 「このまくまねLv.60は山深い」ということは確かである fact7: もし仮にあのみよみのLv.3が操作し易くないとするとあのみよみのLv.3は田舎っぽい
fact3 -> int1: 仮にそのもちゃもにゃLv.93はすばしっこくないならば「「そのもちゃもにゃLv.93は物憂いということはないけど操作し易い」ということは成り立たない」ということは本当だ;
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa});
「「そのぽにぽにょLv.5は調達出来るし加えて黄金分割する」ということは間違っている」ということは真実である
fact8 -> int2: もし仮にそのぽにぽにょLv.5はすばしっこくないならば「そのぽにぽにょLv.5は調達出来るし加えてそれは黄金分割する」ということは事実と異なる;
$facts$ = fact1: とあるモンスターはすばしっこくないならば「「それは調達出来るし黄金分割する」ということは事実だ」ということは成り立たない fact2: もしそのもちゃもにゃLv.93は山深いとしたら「そのぽにぽにょLv.5は黄金分割する」ということは確かである fact3: なにがしかのモンスターはすばしっこくないとすると「「それは物憂くないがしかし操作し易い」ということは本当である」ということは成り立たない fact4: そのぽにぽにょLv.5は調達出来る fact5: 「そのもちゃもにゃLv.93は物憂いということはないが操作し易い」ということは誤りだとしたら「そのもちゃもにゃLv.93は山深い」ということは成り立つ fact6: 「このまくまねLv.60は山深い」ということは確かである fact7: もし仮にあのみよみのLv.3が操作し易くないとするとあのみよみのLv.3は田舎っぽい ; $hypothesis$ = 「「そのぽにぽにょLv.5は調達出来るし加えて黄金分割する」ということは間違っている」ということは真実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__