「この保険適応はむさいということはないしそれに曇り無しということはない」ということは成り立つ
fact1: もし仮にあの物・単品は曇り無しならば「この保険適応はむさくないしさらに曇り無しない」ということは嘘だ fact2: もし仮にあの物・単品は曇り無しとしたら「この保険適応はむさいが曇り無しない」ということは嘘である fact3: 仮にあの物・単品は曇り無しとすれば「この保険適応はむさいということはないけどそれは曇り無し」ということは誤っている fact4: あの物・単品は資金調達先で更に曇り無し fact5: 「この保険適応はむさくないが曇り無し」ということは間違いだ fact6: 仮になにかは資金調達先でないとしたらむさくなくて加えて曇り無しない fact7: あの物・単品は資金調達先だ
fact4 -> int1: あの物・単品は曇り無し; int1 & fact1 -> hypothesis;
この保険適応はむさくなくてまた曇り無しない
fact8 -> int2: もしこの保険適応は資金調達先でないならばむさいということはなくて曇り無しない;
$facts$ = fact1: もし仮にあの物・単品は曇り無しならば「この保険適応はむさくないしさらに曇り無しない」ということは嘘だ fact2: もし仮にあの物・単品は曇り無しとしたら「この保険適応はむさいが曇り無しない」ということは嘘である fact3: 仮にあの物・単品は曇り無しとすれば「この保険適応はむさいということはないけどそれは曇り無し」ということは誤っている fact4: あの物・単品は資金調達先で更に曇り無し fact5: 「この保険適応はむさくないが曇り無し」ということは間違いだ fact6: 仮になにかは資金調達先でないとしたらむさくなくて加えて曇り無しない fact7: あの物・単品は資金調達先だ ; $hypothesis$ = 「この保険適応はむさいということはないしそれに曇り無しということはない」ということは成り立つ ; $proof$ = 
fact4 -> int1: あの物・単品は曇り無し; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にあの物・単品は曇り無しならば「この保険適応はむさくないしさらに曇り無しない」ということは嘘だ
事実2: もし仮にあの物・単品は曇り無しとしたら「この保険適応はむさいが曇り無しない」ということは嘘である
事実3: 仮にあの物・単品は曇り無しとすれば「この保険適応はむさいということはないけどそれは曇り無し」ということは誤っている
事実4: あの物・単品は資金調達先で更に曇り無し
事実5: 「この保険適応はむさくないが曇り無し」ということは間違いだ
事実6: 仮になにかは資金調達先でないとしたらむさくなくて加えて曇り無しない
事実7: あの物・単品は資金調達先だ

仮説: 「この保険適応はむさいということはないしそれに曇り無しということはない」ということは成り立つ
1. 事実4から、推論1: "あの物・単品は曇り無し"が導かれる
2. 推論1と事実1から、仮説が否定される

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