「御強いということおよび刺々しいということが起きる」ということは成り立つということはない
fact1: どうしても欲しいということが起きるかもしくはアメリカらしいということが生じるか両方である fact2: もしアメリカらしいということが発生するとすれば御強いということは発生する fact3: もし仮にどうしても欲しいということは発生しないなら「御強いということが起こるし刺々しいということが発生する」ということは成り立たない fact4: 刺々しいということが起こる fact5: 「漂流することはもなもよLv.10事件をもたらす」ということは成り立つ fact6: 御強いということは発生しないということはどうしても欲しいということに阻止される fact7: 会えることは発生しないということは弾き易いということが起きるということに阻まれる
fact1 & fact6 & fact2 -> int1: 御強いということが生じる; int1 & fact4 -> hypothesis;
fact1 & fact6 & fact2 -> int1: {C}; int1 & fact4 -> hypothesis;
「御強いということおよび刺々しいということが起きる」ということは成り立つということはない
$facts$ = fact1: どうしても欲しいということが起きるかもしくはアメリカらしいということが生じるか両方である fact2: もしアメリカらしいということが発生するとすれば御強いということは発生する fact3: もし仮にどうしても欲しいということは発生しないなら「御強いということが起こるし刺々しいということが発生する」ということは成り立たない fact4: 刺々しいということが起こる fact5: 「漂流することはもなもよLv.10事件をもたらす」ということは成り立つ fact6: 御強いということは発生しないということはどうしても欲しいということに阻止される fact7: 会えることは発生しないということは弾き易いということが起きるということに阻まれる ; $hypothesis$ = 「御強いということおよび刺々しいということが起きる」ということは成り立つということはない ; $proof$ = 
fact1 & fact6 & fact2 -> int1: 御強いということが生じる; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact6 & fact2 -> int1: {C}; int1 & fact4 -> hypothesis; __DISPROVED__