食い合うことは起きない
fact1: もしも「思い易いということは起こらないかまたはぴよぴくLv.87事件は発生しない」ということは成り立たないとすればぽちょぽやLv.30事件は起こらない fact2: もし仮に苛立たしいということは起きないとしたら「御邪魔することは起こらなくて確からしいということは起きない」ということは成り立たない fact3: 等しいということは食い合うことは起きないということに帰結する fact4: 好き好むことが起こらないということは「食い合うことが起こる一方でぽちょぽやLv.30事件は発生しない」ということはきっかけである fact5: 「食い合うことは発生しない」ということは等しいということかもしくは好き好むことか両方ともが原因だ fact6: もし仮に「御邪魔することは生じなくて確からしいということは起こらない」ということは確かでないならば食い合うことが発生する fact7: 好き好むことが起きる
fact7 -> int1: 等しいということかあるいは好き好むことかもしくは両方ともが起こる; int1 & fact5 -> hypothesis;
fact7 -> int1: ({A} v {B}); int1 & fact5 -> hypothesis;
測り難いということが起きる
$facts$ = fact1: もしも「思い易いということは起こらないかまたはぴよぴくLv.87事件は発生しない」ということは成り立たないとすればぽちょぽやLv.30事件は起こらない fact2: もし仮に苛立たしいということは起きないとしたら「御邪魔することは起こらなくて確からしいということは起きない」ということは成り立たない fact3: 等しいということは食い合うことは起きないということに帰結する fact4: 好き好むことが起こらないということは「食い合うことが起こる一方でぽちょぽやLv.30事件は発生しない」ということはきっかけである fact5: 「食い合うことは発生しない」ということは等しいということかもしくは好き好むことか両方ともが原因だ fact6: もし仮に「御邪魔することは生じなくて確からしいということは起こらない」ということは確かでないならば食い合うことが発生する fact7: 好き好むことが起きる ; $hypothesis$ = 食い合うことは起きない ; $proof$ = 
fact7 -> int1: 等しいということかあるいは好き好むことかもしくは両方ともが起こる; int1 & fact5 -> hypothesis; __PROVED__
fact7 -> int1: ({A} v {B}); int1 & fact5 -> hypothesis; __PROVED__