押し付けがましいということが発生するし更に長たらしいということが生じる
fact1: 快いということはアメリカっぽいということに引き起こされる fact2: 快いということは「押し付けがましいということは生じない」ということを防ぐ fact3: アメリカっぽいということが生じる fact4: 「根深いということが起こるし継続し難いということは起こらない」ということは「決意することは起こらない」ということが原因である fact5: アメリカっぽいということは起こらないとしたら「押し付けがましいということが起きるしおまけに長たらしいということが発生する」ということは成り立たない fact6: 長たらしいということが生じる
fact1 & fact3 -> int1: 快いということが発生する; int1 & fact2 -> int2: 「押し付けがましいということが発生する」ということは偽でない; int2 & fact6 -> hypothesis;
fact1 & fact3 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact6 -> hypothesis;
「押し付けがましいということと長たらしいということ両方が発生する」ということは偽だ
$facts$ = fact1: 快いということはアメリカっぽいということに引き起こされる fact2: 快いということは「押し付けがましいということは生じない」ということを防ぐ fact3: アメリカっぽいということが生じる fact4: 「根深いということが起こるし継続し難いということは起こらない」ということは「決意することは起こらない」ということが原因である fact5: アメリカっぽいということは起こらないとしたら「押し付けがましいということが起きるしおまけに長たらしいということが発生する」ということは成り立たない fact6: 長たらしいということが生じる ; $hypothesis$ = 押し付けがましいということが発生するし更に長たらしいということが生じる ; $proof$ = 
fact1 & fact3 -> int1: 快いということが発生する; int1 & fact2 -> int2: 「押し付けがましいということが発生する」ということは偽でない; int2 & fact6 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact6 -> hypothesis; __PROVED__