御固いということが起きる
fact1: 見苦しいということが起きるかまたは苦いということが発生するかあるいは両方ともだ fact2: 御固いということは起こらないということはさり気無いということに阻止される fact3: もし苦いということが生じるならさり気無いということが生じる fact4: 見苦しいということはさり気無いということのきっかけとなる fact5: 見付け難いということが発生する
fact1 & fact4 & fact3 -> int1: さり気無いということが発生する; int1 & fact2 -> hypothesis;
fact1 & fact4 & fact3 -> int1: {C}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 見苦しいということが起きるかまたは苦いということが発生するかあるいは両方ともだ fact2: 御固いということは起こらないということはさり気無いということに阻止される fact3: もし苦いということが生じるならさり気無いということが生じる fact4: 見苦しいということはさり気無いということのきっかけとなる fact5: 見付け難いということが発生する ; $hypothesis$ = 御固いということが起きる ; $proof$ = 
fact1 & fact4 & fact3 -> int1: さり気無いということが発生する; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact4 & fact3 -> int1: {C}; int1 & fact2 -> hypothesis; __PROVED__