どうしても欲しいということが生じる
fact1: もしも可愛いということは生じないとしたら「笑い転げることおよびどうしても欲しいということが発生する」ということは事実でない fact2: みにゅみなLv.56事件が起きる fact3: 太いということが起こる fact4: 掴み難いということはうら若しということに繋がる fact5: 太いということが発生するなら「掴み難いということは起こらない」ということは成り立たない fact6: どうしても欲しいということはうら若しということにより生じる
fact5 & fact3 -> int1: 掴み難いということが発生する; int1 & fact4 -> int2: うら若しということが起きる; int2 & fact6 -> hypothesis;
fact5 & fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact6 -> hypothesis;
染み込み易いということが生じる
$facts$ = fact1: もしも可愛いということは生じないとしたら「笑い転げることおよびどうしても欲しいということが発生する」ということは事実でない fact2: みにゅみなLv.56事件が起きる fact3: 太いということが起こる fact4: 掴み難いということはうら若しということに繋がる fact5: 太いということが発生するなら「掴み難いということは起こらない」ということは成り立たない fact6: どうしても欲しいということはうら若しということにより生じる ; $hypothesis$ = どうしても欲しいということが生じる ; $proof$ = 
fact5 & fact3 -> int1: 掴み難いということが発生する; int1 & fact4 -> int2: うら若しということが起きる; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact6 -> hypothesis; __PROVED__