「この堪忍は頼り無いということはなくて更に所有不動産でない」ということは事実と異なる
fact1: この持ち主が歳出科目でないとするとこの堪忍は頼り無くてまた所有不動産である fact2: この堪忍は頼り無いということはない fact3: 仮にこの持ち主は歳出科目でないなら「この堪忍は頼り無くないしそれに所有不動産でない」ということは成り立たない fact4: 仮にこの堪忍が授与する一方で香しかないとすればそれは所有不動産でない fact5: その諸類型は見え難いが所有不動産でない fact6: 抜け替わるし歳出科目であるというものはない fact7: この堪忍は授与するけどそれは香しかない fact8: この堪忍は授与する
fact4 & fact7 -> int1: この堪忍は所有不動産でない; int1 & fact2 -> hypothesis;
「この堪忍は頼り無くないし更に所有不動産でない」ということは確かでない
$facts$ = fact1: この持ち主が歳出科目でないとするとこの堪忍は頼り無くてまた所有不動産である fact2: この堪忍は頼り無いということはない fact3: 仮にこの持ち主は歳出科目でないなら「この堪忍は頼り無くないしそれに所有不動産でない」ということは成り立たない fact4: 仮にこの堪忍が授与する一方で香しかないとすればそれは所有不動産でない fact5: その諸類型は見え難いが所有不動産でない fact6: 抜け替わるし歳出科目であるというものはない fact7: この堪忍は授与するけどそれは香しかない fact8: この堪忍は授与する ; $hypothesis$ = 「この堪忍は頼り無いということはなくて更に所有不動産でない」ということは事実と異なる ; $proof$ = 
fact4 & fact7 -> int1: この堪忍は所有不動産でない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: この持ち主が歳出科目でないとするとこの堪忍は頼り無くてまた所有不動産である
事実2: この堪忍は頼り無いということはない
事実3: 仮にこの持ち主は歳出科目でないなら「この堪忍は頼り無くないしそれに所有不動産でない」ということは成り立たない
事実4: 仮にこの堪忍が授与する一方で香しかないとすればそれは所有不動産でない
事実5: その諸類型は見え難いが所有不動産でない
事実6: 抜け替わるし歳出科目であるというものはない
事実7: この堪忍は授与するけどそれは香しかない
事実8: この堪忍は授与する

仮説: 「この堪忍は頼り無いということはなくて更に所有不動産でない」ということは事実と異なる
1. 事実4と事実7から、推論1: "この堪忍は所有不動産でない"が導かれる
2. 推論1と事実2から、仮説が否定される

よって、仮説が否定されました。