その拠ん所は家事関連費でない
fact1: その拠ん所は甘ったるくなくて吠えない fact2: その自艦は用い易いということはない fact3: 用い易いということはないものは下方修正しないし溶け難くない fact4: そのディンゴは用い易い fact5: 「そのディンゴは溶け難くないし加えて用い易くない」ということは成り立たないならばあの拠ん所は家事関連費でない fact6: 「そのディンゴは溶け難いが用い易いということはない」ということは成り立たない fact7: 「そのディンゴは溶け難くないが用い易い」ということは間違っている fact8: その救命は家事関連費だ
void -> assump1: 以下のように仮定する。そのディンゴは溶け難いということはないしさらに用い易くない; assump1 -> int1: そのディンゴは用い易くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのディンゴは溶け難いということはなくてしかも用い易くない」ということは真実でない; int3 & fact5 -> hypothesis;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact5 -> hypothesis;
「その拠ん所は下方修正しないし更にそれは溶け難くない」ということは本当だ
fact9 -> int4: もしその拠ん所が用い易くないとすればそれは下方修正するということはなくてかつ溶け難くない;
$facts$ = fact1: その拠ん所は甘ったるくなくて吠えない fact2: その自艦は用い易いということはない fact3: 用い易いということはないものは下方修正しないし溶け難くない fact4: そのディンゴは用い易い fact5: 「そのディンゴは溶け難くないし加えて用い易くない」ということは成り立たないならばあの拠ん所は家事関連費でない fact6: 「そのディンゴは溶け難いが用い易いということはない」ということは成り立たない fact7: 「そのディンゴは溶け難くないが用い易い」ということは間違っている fact8: その救命は家事関連費だ ; $hypothesis$ = その拠ん所は家事関連費でない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのディンゴは溶け難いということはないしさらに用い易くない; assump1 -> int1: そのディンゴは用い易くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのディンゴは溶け難いということはなくてしかも用い易くない」ということは真実でない; int3 & fact5 -> hypothesis; __PROVED__
事実1: その拠ん所は甘ったるくなくて吠えない
事実2: その自艦は用い易いということはない
事実3: 用い易いということはないものは下方修正しないし溶け難くない
事実4: そのディンゴは用い易い
事実5: 「そのディンゴは溶け難くないし加えて用い易くない」ということは成り立たないならばあの拠ん所は家事関連費でない
事実6: 「そのディンゴは溶け難いが用い易いということはない」ということは成り立たない
事実7: 「そのディンゴは溶け難くないが用い易い」ということは間違っている
事実8: その救命は家事関連費だ

仮説: その拠ん所は家事関連費でない
1. 仮定1: 以下のように仮定する。そのディンゴは溶け難いということはないしさらに用い易くない
2. 仮定1から、推論1: "そのディンゴは用い易くない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「そのディンゴは溶け難いということはなくてしかも用い易くない」ということは真実でない"が導かれる
5. 推論3と事実5から、仮説が導かれる

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