「あの接触状況は集合部でない」ということは成り立つ
fact1: もし仮になにかは仲介機関であるとすれば椿科である fact2: もしも「あのＤＩＮは登山出来る」ということは成り立つとしたらこのマスク液は仲介機関だ fact3: もし仮になんらかのものは登山出来ないとすると「それは仲介機関であるしそれは集合部だ」ということは嘘である fact4: 仮に「なにがしかの物は仲介機関であるし集合部だ」ということは間違っているならそれは集合部でない fact5: 「あのＤＩＮは軽減出来なくてまたそれは椿科でない」ということは成り立たない fact6: もしも「あのＤＩＮは軽減出来なくて椿科でない」ということは成り立たないとすればそれは登山出来る fact7: 仮にこのマスク液が仲介機関であるとすればあの接触状況は集合部である fact8: 「あのＤＩＮは軽減出来ない一方で椿科である」ということは成り立たない fact9: もし仮にあのＤＩＮは椿科ならば「登山出来る」ということは事実だ fact10: もし「あのＤＩＮは椿科でなくて登山出来るということはない」ということは間違いだとしたらそれは集合部である
fact6 & fact5 -> int1: あのＤＩＮは登山出来る; int1 & fact2 -> int2: このマスク液は仲介機関である; int2 & fact7 -> hypothesis;
fact6 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{b}; int2 & fact7 -> hypothesis;
あの血族は椿科である
fact11 -> int3: 「あの血族は仲介機関である」ということは正しいとしたら椿科である;
$facts$ = fact1: もし仮になにかは仲介機関であるとすれば椿科である fact2: もしも「あのＤＩＮは登山出来る」ということは成り立つとしたらこのマスク液は仲介機関だ fact3: もし仮になんらかのものは登山出来ないとすると「それは仲介機関であるしそれは集合部だ」ということは嘘である fact4: 仮に「なにがしかの物は仲介機関であるし集合部だ」ということは間違っているならそれは集合部でない fact5: 「あのＤＩＮは軽減出来なくてまたそれは椿科でない」ということは成り立たない fact6: もしも「あのＤＩＮは軽減出来なくて椿科でない」ということは成り立たないとすればそれは登山出来る fact7: 仮にこのマスク液が仲介機関であるとすればあの接触状況は集合部である fact8: 「あのＤＩＮは軽減出来ない一方で椿科である」ということは成り立たない fact9: もし仮にあのＤＩＮは椿科ならば「登山出来る」ということは事実だ fact10: もし「あのＤＩＮは椿科でなくて登山出来るということはない」ということは間違いだとしたらそれは集合部である ; $hypothesis$ = 「あの接触状況は集合部でない」ということは成り立つ ; $proof$ = 
fact6 & fact5 -> int1: あのＤＩＮは登山出来る; int1 & fact2 -> int2: このマスク液は仲介機関である; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは仲介機関であるとすれば椿科である
事実2: もしも「あのＤＩＮは登山出来る」ということは成り立つとしたらこのマスク液は仲介機関だ
事実3: もし仮になんらかのものは登山出来ないとすると「それは仲介機関であるしそれは集合部だ」ということは嘘である
事実4: 仮に「なにがしかの物は仲介機関であるし集合部だ」ということは間違っているならそれは集合部でない
事実5: 「あのＤＩＮは軽減出来なくてまたそれは椿科でない」ということは成り立たない
事実6: もしも「あのＤＩＮは軽減出来なくて椿科でない」ということは成り立たないとすればそれは登山出来る
事実7: 仮にこのマスク液が仲介機関であるとすればあの接触状況は集合部である
事実8: 「あのＤＩＮは軽減出来ない一方で椿科である」ということは成り立たない
事実9: もし仮にあのＤＩＮは椿科ならば「登山出来る」ということは事実だ
事実10: もし「あのＤＩＮは椿科でなくて登山出来るということはない」ということは間違いだとしたらそれは集合部である

仮説: 「あの接触状況は集合部でない」ということは成り立つ
1. 事実6と事実5から、推論1: "あのＤＩＮは登山出来る"が導かれる
2. 推論1と事実2から、推論2: "このマスク液は仲介機関である"が導かれる
3. 推論2と事実7から、仮説が否定される

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