そのもにもよLv.21は待ち遠しくない
fact1: 弾き易くないモンスターは待ち遠しくておまけに溶かし出す fact2: 「遣り易いということはないモンスターは弾き易くないが入居出来る」ということは事実である fact3: もしもそのまわまにLv.99は見詰め直すということはないとすると「そのもにもよLv.21は待ち遠しくない」ということは真実である fact4: 仮に「そのまわまにLv.99は見詰め直すし加えてそれは立て難い」ということは事実と異なるとすればそのもにもよLv.21は待ち遠しくない fact5: もしも「そのもにもよLv.21は見詰め直すし加えて立て難い」ということは成り立たないとしたらそのまわまにLv.99は待ち遠しいということはない fact6: 見詰め直すしその上立て難いというモンスターはない
fact6 -> int1: 「そのまわまにLv.99は見詰め直すし立て難い」ということは間違っている; int1 & fact4 -> hypothesis;
fact6 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> hypothesis;
そのもにもよLv.21は待ち遠しい
fact7 -> int2: もしもそのもにもよLv.21が弾き易くないとするとそれは待ち遠しいしその上溶かし出す; fact8 -> int3: もしもそのもにもよLv.21が遣り易くないとしたら弾き易くないけれど入居出来る;
$facts$ = fact1: 弾き易くないモンスターは待ち遠しくておまけに溶かし出す fact2: 「遣り易いということはないモンスターは弾き易くないが入居出来る」ということは事実である fact3: もしもそのまわまにLv.99は見詰め直すということはないとすると「そのもにもよLv.21は待ち遠しくない」ということは真実である fact4: 仮に「そのまわまにLv.99は見詰め直すし加えてそれは立て難い」ということは事実と異なるとすればそのもにもよLv.21は待ち遠しくない fact5: もしも「そのもにもよLv.21は見詰め直すし加えて立て難い」ということは成り立たないとしたらそのまわまにLv.99は待ち遠しいということはない fact6: 見詰め直すしその上立て難いというモンスターはない ; $hypothesis$ = そのもにもよLv.21は待ち遠しくない ; $proof$ = 
fact6 -> int1: 「そのまわまにLv.99は見詰め直すし立て難い」ということは間違っている; int1 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact4 -> hypothesis; __PROVED__