青臭いということが生じるかまたはまにまやLv.97事件が起こる
fact1: もし仮にぽくぽにゃLv.52事件は発生しないならば「青臭いということが発生するかあるいはまにまやLv.97事件が起こるかあるいは両方ともである」ということは成り立たない fact2: 踏ん付けることが発生するとすると「まにゃまにLv.76事件は発生しないししかも関係深いということは起こらない」ということは偽である fact3: 「踏ん付けることおよびぽなぽにょLv.11事件が発生する」ということは「追走することは生じない」ということがきっかけだ fact4: ぽくぽにゃLv.52事件と青臭いということが起きる fact5: 「もし「まにゃまにLv.76事件は生じないし関係深いということは生じない」ということは成り立つということはないとすればぽくぽにゃLv.52事件は起こらない」ということは正しい
fact4 -> int1: 青臭いということが生じる; int1 -> hypothesis;
fact4 -> int1: {B}; int1 -> hypothesis;
「青臭いということが起きるかあるいはまにまやLv.97事件が生じる」ということは誤りである
$facts$ = fact1: もし仮にぽくぽにゃLv.52事件は発生しないならば「青臭いということが発生するかあるいはまにまやLv.97事件が起こるかあるいは両方ともである」ということは成り立たない fact2: 踏ん付けることが発生するとすると「まにゃまにLv.76事件は発生しないししかも関係深いということは起こらない」ということは偽である fact3: 「踏ん付けることおよびぽなぽにょLv.11事件が発生する」ということは「追走することは生じない」ということがきっかけだ fact4: ぽくぽにゃLv.52事件と青臭いということが起きる fact5: 「もし「まにゃまにLv.76事件は生じないし関係深いということは生じない」ということは成り立つということはないとすればぽくぽにゃLv.52事件は起こらない」ということは正しい ; $hypothesis$ = 青臭いということが生じるかまたはまにまやLv.97事件が起こる ; $proof$ = 
fact4 -> int1: 青臭いということが生じる; int1 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 -> hypothesis; __PROVED__