このぴねぴやLv.29は形成し易いしその上恐れ多い
fact1: あのもにょもねLv.53は出難い fact2: 気持ち良いモンスターは恐れ多い fact3: もし仮にあのもにょもねLv.53が形成し易くないとするとこのぴねぴやLv.29は形成し易いし恐れ多い fact4: 「あのもにょもねLv.53は気持ち良いししかも出難い」ということは事実であるなら形成し易くない fact5: あのもにょもねLv.53は気持ち良い fact6: 「目まぐるしいモンスターは出難くなくて気持ち良くない」ということは確かだ fact7: このぴねぴやLv.29は出難くない fact8: 形成し易くないモンスターは気持ち良くてそれに出難い
fact5 & fact1 -> int1: あのもにょもねLv.53は気持ち良いしそれは出難い; int1 & fact4 -> int2: あのもにょもねLv.53は形成し易いということはない; int2 & fact3 -> hypothesis;
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis;
このぴちょぴちゅLv.40は恐れ多い
fact10 -> int3: 仮にこのぴちょぴちゅLv.40が気持ち良いとすると恐れ多い; fact9 -> int4: もし仮に「このぴちょぴちゅLv.40は形成し易くない」ということは正しいとしたらこのぴちょぴちゅLv.40は気持ち良くて出難い;
$facts$ = fact1: あのもにょもねLv.53は出難い fact2: 気持ち良いモンスターは恐れ多い fact3: もし仮にあのもにょもねLv.53が形成し易くないとするとこのぴねぴやLv.29は形成し易いし恐れ多い fact4: 「あのもにょもねLv.53は気持ち良いししかも出難い」ということは事実であるなら形成し易くない fact5: あのもにょもねLv.53は気持ち良い fact6: 「目まぐるしいモンスターは出難くなくて気持ち良くない」ということは確かだ fact7: このぴねぴやLv.29は出難くない fact8: 形成し易くないモンスターは気持ち良くてそれに出難い ; $hypothesis$ = このぴねぴやLv.29は形成し易いしその上恐れ多い ; $proof$ = 
fact5 & fact1 -> int1: あのもにょもねLv.53は気持ち良いしそれは出難い; int1 & fact4 -> int2: あのもにょもねLv.53は形成し易いということはない; int2 & fact3 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis; __PROVED__