木らしいということおよび同情すること両方が起きる
fact1: ネイティブらしいということは置き易いということに引き起こされる fact2: 「同情することが発生する」ということは確かである fact3: ネイティブらしいということは頑是無いということに帰結する fact4: 「禍々しいということおよび微笑ましいということが発生する」ということは真実である fact5: ぽなぽいLv.16事件が生じるか置き易いということが生じる fact6: ぽなぽいLv.16事件は「ネイティブらしいということは生じない」ということを阻止する fact7: 「木らしいということは起こらない」ということは頑是無いということに阻まれる fact8: 騒々しいということが起きる
fact6 & fact5 & fact1 -> int1: ネイティブらしいということが生じる; fact3 & int1 -> int2: 頑是無いということが生じる; int2 & fact7 -> int3: 木らしいということが生じる; int3 & fact2 -> hypothesis;
fact6 & fact5 & fact1 -> int1: {A}; fact3 & int1 -> int2: {B}; int2 & fact7 -> int3: {C}; int3 & fact2 -> hypothesis;
$facts$ = fact1: ネイティブらしいということは置き易いということに引き起こされる fact2: 「同情することが発生する」ということは確かである fact3: ネイティブらしいということは頑是無いということに帰結する fact4: 「禍々しいということおよび微笑ましいということが発生する」ということは真実である fact5: ぽなぽいLv.16事件が生じるか置き易いということが生じる fact6: ぽなぽいLv.16事件は「ネイティブらしいということは生じない」ということを阻止する fact7: 「木らしいということは起こらない」ということは頑是無いということに阻まれる fact8: 騒々しいということが起きる ; $hypothesis$ = 木らしいということおよび同情すること両方が起きる ; $proof$ = 
fact6 & fact5 & fact1 -> int1: ネイティブらしいということが生じる; fact3 & int1 -> int2: 頑是無いということが生じる; int2 & fact7 -> int3: 木らしいということが生じる; int3 & fact2 -> hypothesis; __PROVED__
fact6 & fact5 & fact1 -> int1: {A}; fact3 & int1 -> int2: {B}; int2 & fact7 -> int3: {C}; int3 & fact2 -> hypothesis; __PROVED__