ぽちょぽちゅLv.89事件が生じるしぴのぴねLv.80事件が発生する
fact1: ぽちゅぽゆLv.64事件は発生しないとしたら「ぽちょぽちゅLv.89事件およびぴのぴねLv.80事件両方ともが生じる」ということは嘘だ fact2: ぽちょぽちゅLv.89事件が起こる
fact2 -> int1: ぽちょぽちゅLv.89事件が起こる;
fact2 -> int1: {A};
「ぽちょぽちゅLv.89事件とぴのぴねLv.80事件両方が起こる」ということは誤っている
$facts$ = fact1: ぽちゅぽゆLv.64事件は発生しないとしたら「ぽちょぽちゅLv.89事件およびぴのぴねLv.80事件両方ともが生じる」ということは嘘だ fact2: ぽちょぽちゅLv.89事件が起こる ; $hypothesis$ = ぽちょぽちゅLv.89事件が生じるしぴのぴねLv.80事件が発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__