その発想はＨＩＮＴでない
fact1: この底本は取り囲む fact2: もしもこの底本が閑却すればその発想は野太いがしかしラスタライズしない fact3: この底本は取り囲むしまた閑却する fact4: 野太いものはラスタライズするということはないならば「それはＨＩＮＴでない」ということは事実である fact5: 仮に「「閑却しなくて野太いということはない」ということは成り立つということはない」物があるとすればこの底本は取り囲む fact6: 「この底本は閑却する」ということは成り立てばその発想は野太い fact7: この製品安全は出火原因だが野太くない
fact3 -> int1: この底本は閑却する; int1 & fact2 -> int2: その発想は野太いがしかしラスタライズするということはない; fact4 -> int3: もし仮にその発想が野太いけどそれがラスタライズしないならＨＩＮＴでない; int2 & int3 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{b} & ¬{D}{b}); fact4 -> int3: ({C}{b} & ¬{D}{b}) -> ¬{E}{b}; int2 & int3 -> hypothesis;
その発想はＨＩＮＴである
$facts$ = fact1: この底本は取り囲む fact2: もしもこの底本が閑却すればその発想は野太いがしかしラスタライズしない fact3: この底本は取り囲むしまた閑却する fact4: 野太いものはラスタライズするということはないならば「それはＨＩＮＴでない」ということは事実である fact5: 仮に「「閑却しなくて野太いということはない」ということは成り立つということはない」物があるとすればこの底本は取り囲む fact6: 「この底本は閑却する」ということは成り立てばその発想は野太い fact7: この製品安全は出火原因だが野太くない ; $hypothesis$ = その発想はＨＩＮＴでない ; $proof$ = 
fact3 -> int1: この底本は閑却する; int1 & fact2 -> int2: その発想は野太いがしかしラスタライズするということはない; fact4 -> int3: もし仮にその発想が野太いけどそれがラスタライズしないならＨＩＮＴでない; int2 & int3 -> hypothesis; __PROVED__
事実1: この底本は取り囲む
事実2: もしもこの底本が閑却すればその発想は野太いがしかしラスタライズしない
事実3: この底本は取り囲むしまた閑却する
事実4: 野太いものはラスタライズするということはないならば「それはＨＩＮＴでない」ということは事実である
事実5: 仮に「「閑却しなくて野太いということはない」ということは成り立つということはない」物があるとすればこの底本は取り囲む
事実6: 「この底本は閑却する」ということは成り立てばその発想は野太い
事実7: この製品安全は出火原因だが野太くない

仮説: その発想はＨＩＮＴでない
1. 事実3から、推論1: "この底本は閑却する"が導かれる
2. 推論1と事実2から、推論2: "その発想は野太いがしかしラスタライズするということはない"が導かれる
3. 事実4から、推論3: "もし仮にその発想が野太いけどそれがラスタライズしないならＨＩＮＴでない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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