このみのみちゅLv.33は貫通するしそれは嫌味っぽい
fact1: あのもなもよLv.55は貫通する fact2: あのぷよぷねLv.71は嫌味っぽいしまた書き直せる fact3: あのぷよぷねLv.71はみっともないしかつ書き直せる fact4: 仮にあのぷよぷねLv.71がみっともないとすればこのみのみちゅLv.33は嫌味っぽい fact5: あのぷよぷねLv.71はみっともなくないとしたら「このみのみちゅLv.33は貫通するしそれは嫌味っぽい」ということは真実でない fact6: あのぷよぷねLv.71は勇ましいしかつ囁き交わす fact7: このみのみちゅLv.33は貫通する
fact3 -> int1: あのぷよぷねLv.71はみっともない; int1 & fact4 -> int2: このみのみちゅLv.33は嫌味っぽい; int2 & fact7 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact7 -> hypothesis;
「このみのみちゅLv.33は貫通するしかつ嫌味っぽい」ということは事実と異なる
$facts$ = fact1: あのもなもよLv.55は貫通する fact2: あのぷよぷねLv.71は嫌味っぽいしまた書き直せる fact3: あのぷよぷねLv.71はみっともないしかつ書き直せる fact4: 仮にあのぷよぷねLv.71がみっともないとすればこのみのみちゅLv.33は嫌味っぽい fact5: あのぷよぷねLv.71はみっともなくないとしたら「このみのみちゅLv.33は貫通するしそれは嫌味っぽい」ということは真実でない fact6: あのぷよぷねLv.71は勇ましいしかつ囁き交わす fact7: このみのみちゅLv.33は貫通する ; $hypothesis$ = このみのみちゅLv.33は貫通するしそれは嫌味っぽい ; $proof$ = 
fact3 -> int1: あのぷよぷねLv.71はみっともない; int1 & fact4 -> int2: このみのみちゅLv.33は嫌味っぽい; int2 & fact7 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact7 -> hypothesis; __PROVED__