名残惜しいということが発生する
fact1: 人間っぽいということが起きる fact2: 思い出深いということは心強いということが起きるということに帰結する fact3: もし「著しいということは生じない」ということは確かだとしたらプロらしいということが発生する一方で心強いということは発生しない fact4: 心強いということとプロらしいということが起きれば「名残惜しいということは起きない」ということは事実である fact5: 心強いということは起こらないということは整復することに阻止される fact6: プロらしいということが発生する fact7: 思い出深いということが起きるかまたは整復することが生じる
fact7 & fact2 & fact5 -> int1: 心強いということが発生する; int1 & fact6 -> int2: 心強いということとプロらしいということが生じる; int2 & fact4 -> hypothesis;
fact7 & fact2 & fact5 -> int1: {C}; int1 & fact6 -> int2: ({C} & {D}); int2 & fact4 -> hypothesis;
名残惜しいということが発生する
$facts$ = fact1: 人間っぽいということが起きる fact2: 思い出深いということは心強いということが起きるということに帰結する fact3: もし「著しいということは生じない」ということは確かだとしたらプロらしいということが発生する一方で心強いということは発生しない fact4: 心強いということとプロらしいということが起きれば「名残惜しいということは起きない」ということは事実である fact5: 心強いということは起こらないということは整復することに阻止される fact6: プロらしいということが発生する fact7: 思い出深いということが起きるかまたは整復することが生じる ; $hypothesis$ = 名残惜しいということが発生する ; $proof$ = 
fact7 & fact2 & fact5 -> int1: 心強いということが発生する; int1 & fact6 -> int2: 心強いということとプロらしいということが生じる; int2 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact2 & fact5 -> int1: {C}; int1 & fact6 -> int2: ({C} & {D}); int2 & fact4 -> hypothesis; __DISPROVED__