耕すことが生じる
fact1: 御満足頂けることが獣染みることはきっかけだ fact2: もし仮に「小ぢんまりすることは発生しないし更に大差無いということは起きない」ということは間違いであるとすれば葬ることは生じない fact3: みにみちゅLv.54事件は発生しないということは恋しいということおよび上げ易いということが起こるを誘発する fact4: 真っ白いということは生じないならば獣染みることおよびぷゆぷやLv.82事件両方が生じる fact5: 恋しいということが生じるとしたら「真っ白いということが生じるけど御満足頂けることは生じない」ということは間違っている fact6: 「耕すことが発生しないしそれに獣染みることは起こらない」ということは「ぷゆぷやLv.82事件は生じない」ということがきっかけである fact7: 仮に葬ることが起きないとするとみにみちゅLv.54事件は起きなくて涙ぐましいということは起こらない fact8: 「耕すことが発生する」ということは御満足頂けることがきっかけである fact9: 「真っ白いということは発生しない」ということは事実である
fact9 & fact4 -> int1: 獣染みることおよびぷゆぷやLv.82事件両方ともが生じる; int1 -> int2: 獣染みることが生じる; int2 & fact1 -> int3: 御満足頂けることが起こる; int3 & fact8 -> hypothesis;
fact9 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact1 -> int3: {C}; int3 & fact8 -> hypothesis;
耕すことは発生しない
$facts$ = fact1: 御満足頂けることが獣染みることはきっかけだ fact2: もし仮に「小ぢんまりすることは発生しないし更に大差無いということは起きない」ということは間違いであるとすれば葬ることは生じない fact3: みにみちゅLv.54事件は発生しないということは恋しいということおよび上げ易いということが起こるを誘発する fact4: 真っ白いということは生じないならば獣染みることおよびぷゆぷやLv.82事件両方が生じる fact5: 恋しいということが生じるとしたら「真っ白いということが生じるけど御満足頂けることは生じない」ということは間違っている fact6: 「耕すことが発生しないしそれに獣染みることは起こらない」ということは「ぷゆぷやLv.82事件は生じない」ということがきっかけである fact7: 仮に葬ることが起きないとするとみにみちゅLv.54事件は起きなくて涙ぐましいということは起こらない fact8: 「耕すことが発生する」ということは御満足頂けることがきっかけである fact9: 「真っ白いということは発生しない」ということは事実である ; $hypothesis$ = 耕すことが生じる ; $proof$ = 
fact9 & fact4 -> int1: 獣染みることおよびぷゆぷやLv.82事件両方ともが生じる; int1 -> int2: 獣染みることが生じる; int2 & fact1 -> int3: 御満足頂けることが起こる; int3 & fact8 -> hypothesis; __PROVED__
fact9 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact1 -> int3: {C}; int3 & fact8 -> hypothesis; __PROVED__