「ぷえぷにょLv.11事件が生じるし手放せることが発生する」ということは確かだ
fact1: 「ぷえぷにょLv.11事件が起きる」ということは真実だ fact2: もしも「ぷえぷにLv.94事件は起こらない」ということは偽でないならば「ぷえぷにょLv.11事件と手放せることが起きる」ということは本当であるということはない fact3: 「ぷえぷにLv.94事件は起きないしみくみちょLv.50事件は生じない」ということは口惜しいということは起こらないということが契機だ fact4: 田舎っぽいということが起こる fact5: 手放せることが起きる
fact1 -> int1: 「ぷえぷにょLv.11事件が起きる」ということは真実だ; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> hypothesis;
「「ぷえぷにょLv.11事件および手放せることどちらもが生じる」ということは嘘である」ということは間違いでない
$facts$ = fact1: 「ぷえぷにょLv.11事件が起きる」ということは真実だ fact2: もしも「ぷえぷにLv.94事件は起こらない」ということは偽でないならば「ぷえぷにょLv.11事件と手放せることが起きる」ということは本当であるということはない fact3: 「ぷえぷにLv.94事件は起きないしみくみちょLv.50事件は生じない」ということは口惜しいということは起こらないということが契機だ fact4: 田舎っぽいということが起こる fact5: 手放せることが起きる ; $hypothesis$ = 「ぷえぷにょLv.11事件が生じるし手放せることが発生する」ということは確かだ ; $proof$ = 
fact1 -> int1: 「ぷえぷにょLv.11事件が起きる」ということは真実だ; int1 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact5 -> hypothesis; __PROVED__