「もし「組閣するがしかし生じ易くない」ということは成り立たないなら甲斐甲斐しくない」モンスターはいる
fact1: 仮に「あるモンスターは組閣するけれどそれは生じ易くない」ということは間違いであるなら甲斐甲斐しいということはない fact2: もし仮に「そのまにょまのLv.82はあどけないが組閣しない」ということは偽なら「そのまにょまのLv.82は上り易くない」ということは間違っていない fact3: 仮に「あのぷねぷなLv.88は組閣するししかもそれは生じ易い」ということは確かでないとすればそれは甲斐甲斐しくない fact4: 「仮に組閣するけれど生じ易くないとすると甲斐甲斐しくない」モンスターはいる fact5: 「もしも生じ易いとすれば甲斐甲斐しくない」モンスターはいる
fact1 -> int1: もし仮に「あのぷねぷなLv.88は組閣するけれど生じ易くない」ということは誤りならばあのぷねぷなLv.88は甲斐甲斐しいということはない; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に「あるモンスターは組閣するけれどそれは生じ易くない」ということは間違いであるなら甲斐甲斐しいということはない fact2: もし仮に「そのまにょまのLv.82はあどけないが組閣しない」ということは偽なら「そのまにょまのLv.82は上り易くない」ということは間違っていない fact3: 仮に「あのぷねぷなLv.88は組閣するししかもそれは生じ易い」ということは確かでないとすればそれは甲斐甲斐しくない fact4: 「仮に組閣するけれど生じ易くないとすると甲斐甲斐しくない」モンスターはいる fact5: 「もしも生じ易いとすれば甲斐甲斐しくない」モンスターはいる ; $hypothesis$ = 「もし「組閣するがしかし生じ易くない」ということは成り立たないなら甲斐甲斐しくない」モンスターはいる ; $proof$ = 
fact1 -> int1: もし仮に「あのぷねぷなLv.88は組閣するけれど生じ易くない」ということは誤りならばあのぷねぷなLv.88は甲斐甲斐しいということはない; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__