「うら若いということは発生するししかもまにゃまえLv.37事件は発生する」ということは誤っている
fact1: スポーツマンらしいということが起こる fact2: もしも「ぽのぽえLv.13事件は発生しないしぴわぴやLv.98事件が生じる」ということは成り立たないとしたら付け難いということは起きない fact3: 仮にスポーツマンらしいということは起きないとすればまにゃまえLv.37事件が発生するしそれに幼けないということが起きる fact4: うら若いということが生じる fact5: 付け難いということは発生しないとすると「「うら若いということが起こるしスポーツマンらしいということが起きる」ということは正しい」ということは誤りである fact6: まにゃまえLv.37事件が生じるしスポーツマンらしいということが生じる
fact6 -> int1: まにゃまえLv.37事件が起きる; int1 & fact4 -> hypothesis;
fact6 -> int1: {A}; int1 & fact4 -> hypothesis;
幼けないということが起きる
$facts$ = fact1: スポーツマンらしいということが起こる fact2: もしも「ぽのぽえLv.13事件は発生しないしぴわぴやLv.98事件が生じる」ということは成り立たないとしたら付け難いということは起きない fact3: 仮にスポーツマンらしいということは起きないとすればまにゃまえLv.37事件が発生するしそれに幼けないということが起きる fact4: うら若いということが生じる fact5: 付け難いということは発生しないとすると「「うら若いということが起こるしスポーツマンらしいということが起きる」ということは正しい」ということは誤りである fact6: まにゃまえLv.37事件が生じるしスポーツマンらしいということが生じる ; $hypothesis$ = 「うら若いということは発生するししかもまにゃまえLv.37事件は発生する」ということは誤っている ; $proof$ = 
fact6 -> int1: まにゃまえLv.37事件が起きる; int1 & fact4 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; int1 & fact4 -> hypothesis; __DISPROVED__