そのもにゃもちょLv.87は馬鹿らしくない
fact1: そのもにゃもちょLv.87が熱し易くて馬鹿らしいならこのぷくぷにゅLv.38は甚だしない fact2: このぷくぷにゅLv.38は甚だし fact3: もし「このぷくぷにゅLv.38は熱し易くなくてそれに生ずということはない」ということは誤りであるとすればそのもにゃもちょLv.87は甚だし fact4: このぷくぷにゅLv.38は生ず fact5: 仮にこのぷくぷにゅLv.38が甚だしとするとこのぷくぷにゅLv.38は熱し易い fact6: もし仮にこのぷくぷにゅLv.38が熱し易いしそれに生ずならそのもにゃもちょLv.87は馬鹿らしいということはない fact7: そのもにゃもちょLv.87は甚だし
fact5 & fact2 -> int1: このぷくぷにゅLv.38は熱し易い; int1 & fact4 -> int2: このぷくぷにゅLv.38は熱し易くてそれは生ず; int2 & fact6 -> hypothesis;
fact5 & fact2 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact6 -> hypothesis;
そのもにゃもちょLv.87は馬鹿らしい
$facts$ = fact1: そのもにゃもちょLv.87が熱し易くて馬鹿らしいならこのぷくぷにゅLv.38は甚だしない fact2: このぷくぷにゅLv.38は甚だし fact3: もし「このぷくぷにゅLv.38は熱し易くなくてそれに生ずということはない」ということは誤りであるとすればそのもにゃもちょLv.87は甚だし fact4: このぷくぷにゅLv.38は生ず fact5: 仮にこのぷくぷにゅLv.38が甚だしとするとこのぷくぷにゅLv.38は熱し易い fact6: もし仮にこのぷくぷにゅLv.38が熱し易いしそれに生ずならそのもにゃもちょLv.87は馬鹿らしいということはない fact7: そのもにゃもちょLv.87は甚だし ; $hypothesis$ = そのもにゃもちょLv.87は馬鹿らしくない ; $proof$ = 
fact5 & fact2 -> int1: このぷくぷにゅLv.38は熱し易い; int1 & fact4 -> int2: このぷくぷにゅLv.38は熱し易くてそれは生ず; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact6 -> hypothesis; __PROVED__