このまちゃまちゃLv.44は汚れ難くない
fact1: そのもねもちゃLv.72は宣伝するしその上分かち難い fact2: このぷやぷちゅLv.1が賢しいししかもおっきいならばこのまちゃまちゃLv.44は汚れ難くない fact3: このぷやぷちゅLv.1が御濃いとすればこのぷやぷちゅLv.1は賢しい fact4: このぷやぷちゅLv.1はおっきい fact5: もしもそのもねもちゃLv.72は分かち難いとすれば「このぷやぷちゅLv.1は御濃い」ということは真実だ
fact1 -> int1: そのもねもちゃLv.72は分かち難い; int1 & fact5 -> int2: このぷやぷちゅLv.1は御濃い; int2 & fact3 -> int3: このぷやぷちゅLv.1は賢しい; int3 & fact4 -> int4: このぷやぷちゅLv.1は賢しくて更におっきい; int4 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 & fact4 -> int4: ({D}{b} & {E}{b}); int4 & fact2 -> hypothesis;
$facts$ = fact1: そのもねもちゃLv.72は宣伝するしその上分かち難い fact2: このぷやぷちゅLv.1が賢しいししかもおっきいならばこのまちゃまちゃLv.44は汚れ難くない fact3: このぷやぷちゅLv.1が御濃いとすればこのぷやぷちゅLv.1は賢しい fact4: このぷやぷちゅLv.1はおっきい fact5: もしもそのもねもちゃLv.72は分かち難いとすれば「このぷやぷちゅLv.1は御濃い」ということは真実だ ; $hypothesis$ = このまちゃまちゃLv.44は汚れ難くない ; $proof$ = 
fact1 -> int1: そのもねもちゃLv.72は分かち難い; int1 & fact5 -> int2: このぷやぷちゅLv.1は御濃い; int2 & fact3 -> int3: このぷやぷちゅLv.1は賢しい; int3 & fact4 -> int4: このぷやぷちゅLv.1は賢しくて更におっきい; int4 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 & fact4 -> int4: ({D}{b} & {E}{b}); int4 & fact2 -> hypothesis; __PROVED__