苦々しいということが生じるし乗れることが発生する
fact1: 乗れることが起こる fact2: 乗れることは生じないということは「苦々しいということとぴちゃぴちゅLv.86事件が生じる」ということを引き起こす fact3: 仮に艶っぽいということは起こらないなら「苦々しいということと乗れること両方ともが起きる」ということは成り立たない fact4: 苦々しいということが生じる fact5: もし「汎用することは起きないけれど乗れることが起きる」ということは成り立たないならば乗れることは発生しない
fact4 -> int1: 苦々しいということが生じる; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact1 -> hypothesis;
「苦々しいということが起きるしその上乗れることが発生する」ということは間違いだ
$facts$ = fact1: 乗れることが起こる fact2: 乗れることは生じないということは「苦々しいということとぴちゃぴちゅLv.86事件が生じる」ということを引き起こす fact3: 仮に艶っぽいということは起こらないなら「苦々しいということと乗れること両方ともが起きる」ということは成り立たない fact4: 苦々しいということが生じる fact5: もし「汎用することは起きないけれど乗れることが起きる」ということは成り立たないならば乗れることは発生しない ; $hypothesis$ = 苦々しいということが生じるし乗れることが発生する ; $proof$ = 
fact4 -> int1: 苦々しいということが生じる; int1 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__