慎ましいということが起こる
fact1: 興奮し易いということおよび御分かりに成ることが起こるは淡いということは生じないということにより発生する fact2: 見え難いということが起こる fact3: 淡いということは生じない fact4: もしも御分かりに成ることが生じるし見え難いということが起こるとすれば慎ましいということは発生しない
fact3 & fact1 -> int1: 興奮し易いということと御分かりに成ることが起こる; int1 -> int2: 御分かりに成ることが発生する; int2 & fact2 -> int3: 御分かりに成ることと見え難いということどちらもが生じる; int3 & fact4 -> hypothesis;
fact3 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact4 -> hypothesis;
$facts$ = fact1: 興奮し易いということおよび御分かりに成ることが起こるは淡いということは生じないということにより発生する fact2: 見え難いということが起こる fact3: 淡いということは生じない fact4: もしも御分かりに成ることが生じるし見え難いということが起こるとすれば慎ましいということは発生しない ; $hypothesis$ = 慎ましいということが起こる ; $proof$ = 
fact3 & fact1 -> int1: 興奮し易いということと御分かりに成ることが起こる; int1 -> int2: 御分かりに成ることが発生する; int2 & fact2 -> int3: 御分かりに成ることと見え難いということどちらもが生じる; int3 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact4 -> hypothesis; __DISPROVED__