外し易いということが起こるしおまけに薄暗いということが発生する
fact1: 薄暗いということが生じる fact2: 「動き易いということが生じる」ということは「再燃することではなく薄暗いということが発生する」ということの原因となる fact3: もし再燃することは発生しないなら「外し易いということおよび薄暗いということ両方ともが起きる」ということは事実と異なる fact4: 「再燃することは発生しない」ということは厚いということおよび外し易いということが起きるに帰結する fact5: 外し易いということが生じるしまた再燃することが発生する
fact5 -> int1: 外し易いということが発生する; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact1 -> hypothesis;
「厚いということが発生する」ということは事実と異ならない
$facts$ = fact1: 薄暗いということが生じる fact2: 「動き易いということが生じる」ということは「再燃することではなく薄暗いということが発生する」ということの原因となる fact3: もし再燃することは発生しないなら「外し易いということおよび薄暗いということ両方ともが起きる」ということは事実と異なる fact4: 「再燃することは発生しない」ということは厚いということおよび外し易いということが起きるに帰結する fact5: 外し易いということが生じるしまた再燃することが発生する ; $hypothesis$ = 外し易いということが起こるしおまけに薄暗いということが発生する ; $proof$ = 
fact5 -> int1: 外し易いということが発生する; int1 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__