「もねもにLv.43事件が起きる」ということは正しい
fact1: ぴちゅぴにょLv.35事件が起きるしその上突っ立つことが生じる fact2: もし仮に突っ立つことが生じるししおらしいということが発生するとしたらもねもにLv.43事件は発生しない fact3: もし「突っ立つことではなくぴちゅぴにょLv.35事件が生じる」ということは誤りだとすれば成し難いということは起きない fact4: しおらしいということが発生する
fact1 -> int1: 突っ立つことが起こる; int1 & fact4 -> int2: 突っ立つことが起きるしそれにしおらしいということが起きる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
成し難いということは生じない
$facts$ = fact1: ぴちゅぴにょLv.35事件が起きるしその上突っ立つことが生じる fact2: もし仮に突っ立つことが生じるししおらしいということが発生するとしたらもねもにLv.43事件は発生しない fact3: もし「突っ立つことではなくぴちゅぴにょLv.35事件が生じる」ということは誤りだとすれば成し難いということは起きない fact4: しおらしいということが発生する ; $hypothesis$ = 「もねもにLv.43事件が起きる」ということは正しい ; $proof$ = 
fact1 -> int1: 突っ立つことが起こる; int1 & fact4 -> int2: 突っ立つことが起きるしそれにしおらしいということが起きる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__