ばらけることおよび惨たらしいということが起きる
fact1: もし「登山家らしいということが生じる一方で丸っこいということは発生しない」ということは偽ならば素人っぽいということは起きない fact2: 「素人っぽいということは起こらない」ということはみにゃみよLv.70事件かぷわぷえLv.78事件かもしくはどちらもを発生させる fact3: ばらけることが起こる fact4: もし仮に「みくみよLv.41事件は発生しない」ということは正しいとすると「ばらけることが起きるし惨たらしいということが生じる」ということは事実と異なる fact5: もしも住み難いということが生じるとすれば「登山家らしいということが発生するけれど丸っこいということは生じない」ということは誤りである fact6: 惨たらしいということが起こる
fact3 -> int1: ばらけることが起こる; int1 & fact6 -> hypothesis;
fact3 -> int1: {A}; int1 & fact6 -> hypothesis;
「ばらけることが起きるし更に惨たらしいということが発生する」ということは確かでない
$facts$ = fact1: もし「登山家らしいということが生じる一方で丸っこいということは発生しない」ということは偽ならば素人っぽいということは起きない fact2: 「素人っぽいということは起こらない」ということはみにゃみよLv.70事件かぷわぷえLv.78事件かもしくはどちらもを発生させる fact3: ばらけることが起こる fact4: もし仮に「みくみよLv.41事件は発生しない」ということは正しいとすると「ばらけることが起きるし惨たらしいということが生じる」ということは事実と異なる fact5: もしも住み難いということが生じるとすれば「登山家らしいということが発生するけれど丸っこいということは生じない」ということは誤りである fact6: 惨たらしいということが起こる ; $hypothesis$ = ばらけることおよび惨たらしいということが起きる ; $proof$ = 
fact3 -> int1: ばらけることが起こる; int1 & fact6 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact6 -> hypothesis; __PROVED__