このみいみえLv.44は回避出来るしその上深呼吸する
fact1: もしもそのまにまえLv.64はネットワークするということはないとしたら「このみいみえLv.44は回避出来るしまた深呼吸する」ということは誤りだ fact2: そのまにまえLv.64はネットワークするし更に御答え致す fact3: 仮に「なにがしかのモンスターは薄ら寒いし保存・反映する」ということは成り立つということはないとすれば申し訳無いということはない fact4: 「もしそのまにまえLv.64がネットワークするならそのまにまえLv.64は良し」ということは事実だ fact5: 仮にそのまにまえLv.64が良しとしたらこのみいみえLv.44は回避出来る fact6: すべてのモンスターは過ごさない fact7: もし何らかのモンスターは過ごさないならば「それは薄ら寒くてまた保存・反映する」ということは正しくない fact8: このみいみえLv.44は深呼吸する
fact2 -> int1: 「そのまにまえLv.64はネットワークする」ということは成り立つ; int1 & fact4 -> int2: 「そのまにまえLv.64は良し」ということは成り立つ; int2 & fact5 -> int3: このみいみえLv.44は回避出来る; int3 & fact8 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{b}; int3 & fact8 -> hypothesis;
「このみいみえLv.44は回避出来るし更に深呼吸する」ということは誤っている
fact12 -> int4: もし仮に「そのまにまえLv.64は薄ら寒いししかも保存・反映する」ということは誤っているならそれは申し訳無いということはない; fact11 -> int5: もしあのみちゃみなLv.13は過ごすということはないとすれば「薄ら寒いしそれに保存・反映する」ということは成り立つということはない; fact9 -> int6: あのみちゃみなLv.13は過ごさない; int5 & int6 -> int7: 「あのみちゃみなLv.13は薄ら寒くて保存・反映する」ということは誤りだ; int7 -> int8: 薄ら寒いしおまけに保存・反映するというモンスターはない; int8 -> int9: 「そのまにまえLv.64は薄ら寒いしそれにそれは保存・反映する」ということは偽である; int4 & int9 -> int10: 「そのまにまえLv.64は申し訳無くない」ということは誤っていない;
$facts$ = fact1: もしもそのまにまえLv.64はネットワークするということはないとしたら「このみいみえLv.44は回避出来るしまた深呼吸する」ということは誤りだ fact2: そのまにまえLv.64はネットワークするし更に御答え致す fact3: 仮に「なにがしかのモンスターは薄ら寒いし保存・反映する」ということは成り立つということはないとすれば申し訳無いということはない fact4: 「もしそのまにまえLv.64がネットワークするならそのまにまえLv.64は良し」ということは事実だ fact5: 仮にそのまにまえLv.64が良しとしたらこのみいみえLv.44は回避出来る fact6: すべてのモンスターは過ごさない fact7: もし何らかのモンスターは過ごさないならば「それは薄ら寒くてまた保存・反映する」ということは正しくない fact8: このみいみえLv.44は深呼吸する ; $hypothesis$ = このみいみえLv.44は回避出来るしその上深呼吸する ; $proof$ = 
fact2 -> int1: 「そのまにまえLv.64はネットワークする」ということは成り立つ; int1 & fact4 -> int2: 「そのまにまえLv.64は良し」ということは成り立つ; int2 & fact5 -> int3: このみいみえLv.44は回避出来る; int3 & fact8 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{b}; int3 & fact8 -> hypothesis; __PROVED__