「「仮に運転し易くて相応しくないとしたら「焼き難い」ということは真実な」モンスターはいる」ということは事実でない
fact1: 「もし仮に運転し易いしおまけに相応しいとすると焼き難い」モンスターはいる fact2: もしもそのみのみちゃLv.37が好ましけど焼き難くないとしたらそのみのみちゃLv.37は生温い fact3: もし好ましモンスターが田舎っぽくないとすれば運転し易い fact4: もしあるモンスターは運転し易いけれど相応しくないとすればそれは焼き難い
fact4 -> int1: 仮にこのみわみにゃLv.38が運転し易いがしかし相応しくないとすればこのみわみにゃLv.38は焼き難い; int1 -> hypothesis;
fact4 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
もしもこのぷちゃぷいLv.11は好ましモンスターであっておまけに田舎っぽくないとしたら運転し易い
fact5 -> hypothesis;
$facts$ = fact1: 「もし仮に運転し易いしおまけに相応しいとすると焼き難い」モンスターはいる fact2: もしもそのみのみちゃLv.37が好ましけど焼き難くないとしたらそのみのみちゃLv.37は生温い fact3: もし好ましモンスターが田舎っぽくないとすれば運転し易い fact4: もしあるモンスターは運転し易いけれど相応しくないとすればそれは焼き難い ; $hypothesis$ = 「「仮に運転し易くて相応しくないとしたら「焼き難い」ということは真実な」モンスターはいる」ということは事実でない ; $proof$ = 
fact4 -> int1: 仮にこのみわみにゃLv.38が運転し易いがしかし相応しくないとすればこのみわみにゃLv.38は焼き難い; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__