この戻し税は顕示する
fact1: この娩出が保全すならこの各ファクターは御偉い fact2: 仮に「この娩出は御偉い」ということは正しいとするとこの各ファクターは保全す fact3: この娩出は顕示するがしかし保全すらないとすると「この戻し税は御偉い」ということは成り立つ fact4: この娩出は御偉い fact5: もしもこの各ファクターが保全すならこの戻し税は顕示する
fact2 & fact4 -> int1: この各ファクターは保全す; int1 & fact5 -> hypothesis;
この戻し税は御偉い
$facts$ = fact1: この娩出が保全すならこの各ファクターは御偉い fact2: 仮に「この娩出は御偉い」ということは正しいとするとこの各ファクターは保全す fact3: この娩出は顕示するがしかし保全すらないとすると「この戻し税は御偉い」ということは成り立つ fact4: この娩出は御偉い fact5: もしもこの各ファクターが保全すならこの戻し税は顕示する ; $hypothesis$ = この戻し税は顕示する ; $proof$ = 
fact2 & fact4 -> int1: この各ファクターは保全す; int1 & fact5 -> hypothesis; __PROVED__
事実1: この娩出が保全すならこの各ファクターは御偉い
事実2: 仮に「この娩出は御偉い」ということは正しいとするとこの各ファクターは保全す
事実3: この娩出は顕示するがしかし保全すらないとすると「この戻し税は御偉い」ということは成り立つ
事実4: この娩出は御偉い
事実5: もしもこの各ファクターが保全すならこの戻し税は顕示する

仮説: この戻し税は顕示する
1. 事実2と事実4から、推論1: "この各ファクターは保全す"が導かれる
2. 推論1と事実5から、仮説が導かれる

よって、仮説が証明されました。