羨ましいということが生じる
fact1: 「羨ましいということが発生するしぷゆぷにょLv.2事件が起きる」ということは「書き易いということは起きない」ということにより発生する fact2: ぷゆぷにょLv.2事件と書き易いということが生じる fact3: 羨ましいということは「書き易いということが起きるし利き難いということが生じる」ということに阻まれる fact4: 利き難いということが起きる
fact2 -> int1: 書き易いということが発生する; int1 & fact4 -> int2: 書き易いということが発生するし加えて利き難いということが生じる; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
羨ましいということが生じる
$facts$ = fact1: 「羨ましいということが発生するしぷゆぷにょLv.2事件が起きる」ということは「書き易いということは起きない」ということにより発生する fact2: ぷゆぷにょLv.2事件と書き易いということが生じる fact3: 羨ましいということは「書き易いということが起きるし利き難いということが生じる」ということに阻まれる fact4: 利き難いということが起きる ; $hypothesis$ = 羨ましいということが生じる ; $proof$ = 
fact2 -> int1: 書き易いということが発生する; int1 & fact4 -> int2: 書き易いということが発生するし加えて利き難いということが生じる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__