そのぴちょぴえLv.54はみみっちい
fact1: 仮になんらかのモンスターがぎくしゃくするとしたらそれは疑わしい fact2: もし仮にそのぴちょぴえLv.54が吸い合うとすればみみっちい fact3: もしそのぴよぴやLv.10が疑わしいとしたらそのぴよぴやLv.10は吸い合う fact4: 仮に「そのぴちょぴえLv.54は読み辛い」ということは真実だとすると「それはみみっちい」ということは間違いであるということはない fact5: もし仮に「このぷえぷくLv.92はぎくしゃくする」ということは事実であるとすればそのぴよぴやLv.10は疑わしい fact6: そのぴくぴにょLv.38は読み辛くない一方で吸い合う fact7: そのぴよぴやLv.10が吸い合うとしたらそのぴくぴにょLv.38は白々しい fact8: もし仮にそのぴくぴにょLv.38が白々しいとしたらそのぴちょぴえLv.54は読み辛い fact9: もしこのぷえぷくLv.92がみみっちいならばそのぴちょぴえLv.54はみみっちくない fact10: このぷえぷくLv.92はぎくしゃくする fact11: 白々しくないモンスターはぎくしゃくするしおまけに吸い合う
fact5 & fact10 -> int1: そのぴよぴやLv.10は疑わしい; int1 & fact3 -> int2: そのぴよぴやLv.10は吸い合う; int2 & fact7 -> int3: そのぴくぴにょLv.38は白々しい; int3 & fact8 -> int4: そのぴちょぴえLv.54は読み辛い; int4 & fact4 -> hypothesis;
fact5 & fact10 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact7 -> int3: {D}{c}; int3 & fact8 -> int4: {E}{d}; int4 & fact4 -> hypothesis;
あのみやみゆLv.92は疑わしい
fact12 -> int5: もし仮にあのみやみゆLv.92はぎくしゃくするとすると「疑わしい」ということは成り立つ; fact13 -> int6: あのみやみゆLv.92が白々しくないとしたらあのみやみゆLv.92はぎくしゃくするし吸い合う;
$facts$ = fact1: 仮になんらかのモンスターがぎくしゃくするとしたらそれは疑わしい fact2: もし仮にそのぴちょぴえLv.54が吸い合うとすればみみっちい fact3: もしそのぴよぴやLv.10が疑わしいとしたらそのぴよぴやLv.10は吸い合う fact4: 仮に「そのぴちょぴえLv.54は読み辛い」ということは真実だとすると「それはみみっちい」ということは間違いであるということはない fact5: もし仮に「このぷえぷくLv.92はぎくしゃくする」ということは事実であるとすればそのぴよぴやLv.10は疑わしい fact6: そのぴくぴにょLv.38は読み辛くない一方で吸い合う fact7: そのぴよぴやLv.10が吸い合うとしたらそのぴくぴにょLv.38は白々しい fact8: もし仮にそのぴくぴにょLv.38が白々しいとしたらそのぴちょぴえLv.54は読み辛い fact9: もしこのぷえぷくLv.92がみみっちいならばそのぴちょぴえLv.54はみみっちくない fact10: このぷえぷくLv.92はぎくしゃくする fact11: 白々しくないモンスターはぎくしゃくするしおまけに吸い合う ; $hypothesis$ = そのぴちょぴえLv.54はみみっちい ; $proof$ = 
fact5 & fact10 -> int1: そのぴよぴやLv.10は疑わしい; int1 & fact3 -> int2: そのぴよぴやLv.10は吸い合う; int2 & fact7 -> int3: そのぴくぴにょLv.38は白々しい; int3 & fact8 -> int4: そのぴちょぴえLv.54は読み辛い; int4 & fact4 -> hypothesis; __PROVED__
fact5 & fact10 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact7 -> int3: {D}{c}; int3 & fact8 -> int4: {E}{d}; int4 & fact4 -> hypothesis; __PROVED__