あのみえみちょLv.52は輝かしくない
fact1: もし仮にそのまちょまにゅLv.54が手堅いとするとあのみえみちょLv.52は輝かしくない fact2: そのぴちょぴえLv.14は手堅い fact3: もし仮にそのまちょまにゅLv.54が厚ぼったくないとするとそのまちょまにゅLv.54は手堅いし苦心する fact4: そのまちょまにゅLv.54は厚ぼったくない fact5: もし仮に「そのまちょまにゅLv.54は厚ぼったくない」ということは本当だとするとそれは苦心する fact6: 仮に「何らかのモンスターは初々しい」ということは誤りでないなら濡れる
fact3 & fact4 -> int1: そのまちょまにゅLv.54は手堅いしそれに苦心する; int1 -> int2: そのまちょまにゅLv.54は手堅い; int2 & fact1 -> hypothesis;
fact3 & fact4 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact1 -> hypothesis;
あのみえみちょLv.52は輝かしい
fact7 -> int3: 仮にそのまちょまにゅLv.54が初々しいとすれば濡れる;
$facts$ = fact1: もし仮にそのまちょまにゅLv.54が手堅いとするとあのみえみちょLv.52は輝かしくない fact2: そのぴちょぴえLv.14は手堅い fact3: もし仮にそのまちょまにゅLv.54が厚ぼったくないとするとそのまちょまにゅLv.54は手堅いし苦心する fact4: そのまちょまにゅLv.54は厚ぼったくない fact5: もし仮に「そのまちょまにゅLv.54は厚ぼったくない」ということは本当だとするとそれは苦心する fact6: 仮に「何らかのモンスターは初々しい」ということは誤りでないなら濡れる ; $hypothesis$ = あのみえみちょLv.52は輝かしくない ; $proof$ = 
fact3 & fact4 -> int1: そのまちょまにゅLv.54は手堅いしそれに苦心する; int1 -> int2: そのまちょまにゅLv.54は手堅い; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact1 -> hypothesis; __PROVED__