そのまいまいLv.6は考察する
fact1: このまくまにゃLv.2は間借りするし首尾良い fact2: 仮にあのみちょみゆLv.42が違いとしたらそのまいまいLv.6は考察する fact3: もし「このまくまにゃLv.2は首尾良いしさらに考察する」ということは確かでないならばそのまいまいLv.6は考察しない fact4: もし仮に「このまくまにゃLv.2は首尾良くない」ということは誤っているとすればあのみちょみゆLv.42は違い
fact1 -> int1: このまくまにゃLv.2は首尾良い; int1 & fact4 -> int2: あのみちょみゆLv.42は違い; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
そのまいまいLv.6は考察しない
$facts$ = fact1: このまくまにゃLv.2は間借りするし首尾良い fact2: 仮にあのみちょみゆLv.42が違いとしたらそのまいまいLv.6は考察する fact3: もし「このまくまにゃLv.2は首尾良いしさらに考察する」ということは確かでないならばそのまいまいLv.6は考察しない fact4: もし仮に「このまくまにゃLv.2は首尾良くない」ということは誤っているとすればあのみちょみゆLv.42は違い ; $hypothesis$ = そのまいまいLv.6は考察する ; $proof$ = 
fact1 -> int1: このまくまにゃLv.2は首尾良い; int1 & fact4 -> int2: あのみちょみゆLv.42は違い; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__