あのぽねぽわLv.4は予測し易くないけど生温かい
fact1: もし仮に算定し難いモンスターが思い出深くないとすればそれは退塾する fact2: もしそのまねまやLv.85が予測し易いならばあのぽねぽわLv.4は予測し易くない fact3: 仮にとあるモンスターは定立しないとすると「予測し易くなくてそれに生温かい」ということは誤っている fact4: そのまねまやLv.85は算定し難いけど思い出深くない fact5: もし「そのまねまやLv.85は退塾する」ということは真実だとすれば「そのまねまやLv.85は定立する」ということは成り立つ fact6: もし仮に思い出深いモンスターが生温かくないならばそれは算定し難い fact7: もしそのまねまやLv.85は定立するなら「そのまねまやLv.85は予測し易い」ということは本当だ fact8: あのぽねぽわLv.4は定立する fact9: そのまねまやLv.85が予測し易いとしたらあのぽねぽわLv.4は予測し易くないが生温かい
fact1 -> int1: もしもそのまねまやLv.85は算定し難いけど思い出深くないとすれば「そのまねまやLv.85は退塾する」ということは真実である; int1 & fact4 -> int2: そのまねまやLv.85は退塾する; int2 & fact5 -> int3: そのまねまやLv.85は定立する; int3 & fact7 -> int4: そのまねまやLv.85は予測し易い; int4 & fact9 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact5 -> int3: {A}{aa}; int3 & fact7 -> int4: {C}{aa}; int4 & fact9 -> hypothesis;
「あのぽねぽわLv.4は予測し易くないが生温かい」ということは成り立たない
fact10 -> int5: もし「あのぽねぽわLv.4は定立しない」ということは事実ならば「予測し易くないしさらにそれは生温かい」ということは成り立たない;
$facts$ = fact1: もし仮に算定し難いモンスターが思い出深くないとすればそれは退塾する fact2: もしそのまねまやLv.85が予測し易いならばあのぽねぽわLv.4は予測し易くない fact3: 仮にとあるモンスターは定立しないとすると「予測し易くなくてそれに生温かい」ということは誤っている fact4: そのまねまやLv.85は算定し難いけど思い出深くない fact5: もし「そのまねまやLv.85は退塾する」ということは真実だとすれば「そのまねまやLv.85は定立する」ということは成り立つ fact6: もし仮に思い出深いモンスターが生温かくないならばそれは算定し難い fact7: もしそのまねまやLv.85は定立するなら「そのまねまやLv.85は予測し易い」ということは本当だ fact8: あのぽねぽわLv.4は定立する fact9: そのまねまやLv.85が予測し易いとしたらあのぽねぽわLv.4は予測し易くないが生温かい ; $hypothesis$ = あのぽねぽわLv.4は予測し易くないけど生温かい ; $proof$ = 
fact1 -> int1: もしもそのまねまやLv.85は算定し難いけど思い出深くないとすれば「そのまねまやLv.85は退塾する」ということは真実である; int1 & fact4 -> int2: そのまねまやLv.85は退塾する; int2 & fact5 -> int3: そのまねまやLv.85は定立する; int3 & fact7 -> int4: そのまねまやLv.85は予測し易い; int4 & fact9 -> hypothesis; __PROVED__
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact5 -> int3: {A}{aa}; int3 & fact7 -> int4: {C}{aa}; int4 & fact9 -> hypothesis; __PROVED__