そのもねもにゅLv.81はめんどい
fact1: もしそのもねもにゅLv.81は小難しいなら「それは得易い」ということは真実だ fact2: 仮にそのもねもにゅLv.81が怖ーいならそれはめんどい fact3: もしもそのもねもにゅLv.81が得易いとすればそのもねもにゅLv.81は怖ーい fact4: そのもねもにゅLv.81は小難しい
fact1 & fact4 -> int1: そのもねもにゅLv.81は得易い; int1 & fact3 -> int2: 「そのもねもにゅLv.81は怖ーい」ということは成り立つ; int2 & fact2 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: もしそのもねもにゅLv.81は小難しいなら「それは得易い」ということは真実だ fact2: 仮にそのもねもにゅLv.81が怖ーいならそれはめんどい fact3: もしもそのもねもにゅLv.81が得易いとすればそのもねもにゅLv.81は怖ーい fact4: そのもねもにゅLv.81は小難しい ; $hypothesis$ = そのもねもにゅLv.81はめんどい ; $proof$ = 
fact1 & fact4 -> int1: そのもねもにゅLv.81は得易い; int1 & fact3 -> int2: 「そのもねもにゅLv.81は怖ーい」ということは成り立つ; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __PROVED__