相談し易いということは起きない
fact1: 「気高いということは生じない」ということは暗しということを回避する fact2: ぷわぷにゃLv.87事件は起きない fact3: 「相談し易いということは起きない」ということは「まちょまちょLv.49事件は起きない」ということにもたらされる fact4: 「入浴出来ることと嫌味ったらしいということが起こる」ということはぷわぷにゃLv.87事件は起きないということにもたらされる fact5: 「アメリカっぽいということは起こらない」ということは「みにょみえLv.27事件が発生するし更に誤り無いということが生じる」ということをもたらす fact6: 嫌味ったらしいということが発生する fact7: アメリカっぽいということが起きる fact8: もし誤り無いということおよびアメリカっぽいということが起こるとするとまちょまちょLv.49事件は生じない fact9: 誤り無いということと嫌味ったらしいということ両方ともが発生する
fact9 -> int1: 誤り無いということが生じる; int1 & fact7 -> int2: 「誤り無いということおよびアメリカっぽいということ両方ともが発生する」ということは正しい; int2 & fact8 -> int3: まちょまちょLv.49事件は起こらない; int3 & fact3 -> hypothesis;
fact9 -> int1: {A}; int1 & fact7 -> int2: ({A} & {C}); int2 & fact8 -> int3: ¬{D}; int3 & fact3 -> hypothesis;
入浴出来ることおよびみにょみえLv.27事件が発生する
fact10 & fact11 -> int4: 入浴出来ることおよび嫌味ったらしいということが起きる; int4 -> int5: 入浴出来ることが発生する;
$facts$ = fact1: 「気高いということは生じない」ということは暗しということを回避する fact2: ぷわぷにゃLv.87事件は起きない fact3: 「相談し易いということは起きない」ということは「まちょまちょLv.49事件は起きない」ということにもたらされる fact4: 「入浴出来ることと嫌味ったらしいということが起こる」ということはぷわぷにゃLv.87事件は起きないということにもたらされる fact5: 「アメリカっぽいということは起こらない」ということは「みにょみえLv.27事件が発生するし更に誤り無いということが生じる」ということをもたらす fact6: 嫌味ったらしいということが発生する fact7: アメリカっぽいということが起きる fact8: もし誤り無いということおよびアメリカっぽいということが起こるとするとまちょまちょLv.49事件は生じない fact9: 誤り無いということと嫌味ったらしいということ両方ともが発生する ; $hypothesis$ = 相談し易いということは起きない ; $proof$ = 
fact9 -> int1: 誤り無いということが生じる; int1 & fact7 -> int2: 「誤り無いということおよびアメリカっぽいということ両方ともが発生する」ということは正しい; int2 & fact8 -> int3: まちょまちょLv.49事件は起こらない; int3 & fact3 -> hypothesis; __PROVED__
fact9 -> int1: {A}; int1 & fact7 -> int2: ({A} & {C}); int2 & fact8 -> int3: ¬{D}; int3 & fact3 -> hypothesis; __PROVED__