「「しても良いか白っぽくないかあるいは両方ともである」ものはある」ということは成り立たない
fact1: しても良くないものは十隊でないか各面でないかどちらもだ fact2: もしこの名義尺度が十隊でないかあるいは各面でないかまたは両方であるならそのネットワーク要素は各面でない fact3: もし仮に「その注釈書は消えるが伝わり易くない」ということは成り立たないとするとその人工腎臓は伝わり易い fact4: 仮にある物は断章であるということはないならば「それは消えるし伝わり易いということはない」ということは成り立たない fact5: もしも「なんらかのものは試験方法でなくて更にそれは交流出来ない」ということは成り立たないとすれば交流出来る fact6: もし仮にその人工腎臓は伝わり易いとしたら「この名義尺度は側鎖だということはないが白っぽい」ということは成り立たない fact7: 仮にその注釈書は複数登録するとすれば「「それは試験方法でないしおまけに交流出来ない」ということは事実だ」ということは偽だ fact8: その注釈書は複数登録する fact9: もし何かは交流出来ればそれは断章でない fact10: もし「なにかは側鎖でないがしかし白っぽい」ということは間違っているならしても良くない fact11: 何かは十隊でない fact12: 何かは十隊であるということはないとすればそのネットワーク要素はしても良いかまたは白っぽくないかあるいは両方だ
fact11 & fact12 -> int1: そのネットワーク要素はしても良いか白っぽくないか両方ともである; int1 -> hypothesis;
fact11 & fact12 -> int1: ({B}{a} v ¬{C}{a}); int1 -> hypothesis;
「各面でない」ものはある
fact13 -> int2: もし仮にこの名義尺度はしても良くないならば「それは十隊でないかまたはそれは各面でない」ということは正しい; fact22 -> int3: もし仮に「この名義尺度は側鎖でないけれど白っぽい」ということは偽であるならばそれはしても良くない; fact19 -> int4: もしその注釈書は断章でないなら「それは消えるがしかし伝わり易くない」ということは誤っている; fact14 -> int5: もしその注釈書が交流出来るなら断章であるということはない; fact18 -> int6: 「その注釈書は試験方法でないし交流出来るということはない」ということは事実と異なるならそれは交流出来る; fact20 & fact15 -> int7: 「その注釈書は試験方法でなくてしかも交流出来ない」ということは成り立たない; int6 & int7 -> int8: その注釈書は交流出来る; int5 & int8 -> int9: その注釈書は断章であるということはない; int4 & int9 -> int10: 「その注釈書は消えるけど伝わり易いということはない」ということは偽である; fact17 & int10 -> int11: その人工腎臓は伝わり易い; fact16 & int11 -> int12: 「この名義尺度は側鎖でないがしかしそれは白っぽい」ということは嘘だ; int3 & int12 -> int13: この名義尺度はしても良くない; int2 & int13 -> int14: この名義尺度は十隊でないか各面であるということはないかまたはどちらもだ; fact21 & int14 -> int15: 「そのネットワーク要素は各面でない」ということは事実である; int15 -> hypothesis;
$facts$ = fact1: しても良くないものは十隊でないか各面でないかどちらもだ fact2: もしこの名義尺度が十隊でないかあるいは各面でないかまたは両方であるならそのネットワーク要素は各面でない fact3: もし仮に「その注釈書は消えるが伝わり易くない」ということは成り立たないとするとその人工腎臓は伝わり易い fact4: 仮にある物は断章であるということはないならば「それは消えるし伝わり易いということはない」ということは成り立たない fact5: もしも「なんらかのものは試験方法でなくて更にそれは交流出来ない」ということは成り立たないとすれば交流出来る fact6: もし仮にその人工腎臓は伝わり易いとしたら「この名義尺度は側鎖だということはないが白っぽい」ということは成り立たない fact7: 仮にその注釈書は複数登録するとすれば「「それは試験方法でないしおまけに交流出来ない」ということは事実だ」ということは偽だ fact8: その注釈書は複数登録する fact9: もし何かは交流出来ればそれは断章でない fact10: もし「なにかは側鎖でないがしかし白っぽい」ということは間違っているならしても良くない fact11: 何かは十隊でない fact12: 何かは十隊であるということはないとすればそのネットワーク要素はしても良いかまたは白っぽくないかあるいは両方だ ; $hypothesis$ = 「「しても良いか白っぽくないかあるいは両方ともである」ものはある」ということは成り立たない ; $proof$ = 
fact11 & fact12 -> int1: そのネットワーク要素はしても良いか白っぽくないか両方ともである; int1 -> hypothesis; __DISPROVED__
事実1: しても良くないものは十隊でないか各面でないかどちらもだ
事実2: もしこの名義尺度が十隊でないかあるいは各面でないかまたは両方であるならそのネットワーク要素は各面でない
事実3: もし仮に「その注釈書は消えるが伝わり易くない」ということは成り立たないとするとその人工腎臓は伝わり易い
事実4: 仮にある物は断章であるということはないならば「それは消えるし伝わり易いということはない」ということは成り立たない
事実5: もしも「なんらかのものは試験方法でなくて更にそれは交流出来ない」ということは成り立たないとすれば交流出来る
事実6: もし仮にその人工腎臓は伝わり易いとしたら「この名義尺度は側鎖だということはないが白っぽい」ということは成り立たない
事実7: 仮にその注釈書は複数登録するとすれば「「それは試験方法でないしおまけに交流出来ない」ということは事実だ」ということは偽だ
事実8: その注釈書は複数登録する
事実9: もし何かは交流出来ればそれは断章でない
事実10: もし「なにかは側鎖でないがしかし白っぽい」ということは間違っているならしても良くない
事実11: 何かは十隊でない
事実12: 何かは十隊であるということはないとすればそのネットワーク要素はしても良いかまたは白っぽくないかあるいは両方だ

仮説: 「「しても良いか白っぽくないかあるいは両方ともである」ものはある」ということは成り立たない
1. 事実11と事実12から、推論1: "そのネットワーク要素はしても良いか白っぽくないか両方ともである"が導かれる
2. 推論1から、仮説が否定される

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