あの野薔薇は政策変数である
fact1: 「生温かいということはない」物があるとするとあの野薔薇は政策変数でない fact2: 「村でない」ものはある fact3: 「この共役分子は政策変数でない」ということは嘘だということはない fact4: あの野薔薇は拭い難いということはない fact5: もし仮に「耳鼻科であるということはない」物があるとするとあの野薔薇は政策変数であるということはない fact6: 重くないものはある fact7: なんらかの物が耳鼻科でないならあの野薔薇は御答え出来ない fact8: 何らかのものが適格組織再編成でないとするとあの野薔薇は女っぽくない fact9: その食料は政策変数でない fact10: 「「繊細過ぎるということはない」ということは間違っているということはない」ものはある fact11: なにがしかの物が陵辱するということはないとするとこの成唯識論は御仕舞い為さらない fact12: 「なにがしかのものは耳鼻科でない」ということは成り立つ fact13: 何かは政策変数でない fact14: もしも「ぎごちなくない」物があるとすればあの執務室は花梨でない fact15: もし仮にあるものが引き摺り上げるということはないとするとこの漁獲は耳鼻科でない fact16: 「耳鼻科である」物はある fact17: 「弱り切らない」物はある
fact12 & fact5 -> hypothesis;
fact12 & fact5 -> hypothesis;
$facts$ = fact1: 「生温かいということはない」物があるとするとあの野薔薇は政策変数でない fact2: 「村でない」ものはある fact3: 「この共役分子は政策変数でない」ということは嘘だということはない fact4: あの野薔薇は拭い難いということはない fact5: もし仮に「耳鼻科であるということはない」物があるとするとあの野薔薇は政策変数であるということはない fact6: 重くないものはある fact7: なんらかの物が耳鼻科でないならあの野薔薇は御答え出来ない fact8: 何らかのものが適格組織再編成でないとするとあの野薔薇は女っぽくない fact9: その食料は政策変数でない fact10: 「「繊細過ぎるということはない」ということは間違っているということはない」ものはある fact11: なにがしかの物が陵辱するということはないとするとこの成唯識論は御仕舞い為さらない fact12: 「なにがしかのものは耳鼻科でない」ということは成り立つ fact13: 何かは政策変数でない fact14: もしも「ぎごちなくない」物があるとすればあの執務室は花梨でない fact15: もし仮にあるものが引き摺り上げるということはないとするとこの漁獲は耳鼻科でない fact16: 「耳鼻科である」物はある fact17: 「弱り切らない」物はある ; $hypothesis$ = あの野薔薇は政策変数である ; $proof$ = 
fact12 & fact5 -> hypothesis; __DISPROVED__
事実1: 「生温かいということはない」物があるとするとあの野薔薇は政策変数でない
事実2: 「村でない」ものはある
事実3: 「この共役分子は政策変数でない」ということは嘘だということはない
事実4: あの野薔薇は拭い難いということはない
事実5: もし仮に「耳鼻科であるということはない」物があるとするとあの野薔薇は政策変数であるということはない
事実6: 重くないものはある
事実7: なんらかの物が耳鼻科でないならあの野薔薇は御答え出来ない
事実8: 何らかのものが適格組織再編成でないとするとあの野薔薇は女っぽくない
事実9: その食料は政策変数でない
事実10: 「「繊細過ぎるということはない」ということは間違っているということはない」ものはある
事実11: なにがしかの物が陵辱するということはないとするとこの成唯識論は御仕舞い為さらない
事実12: 「なにがしかのものは耳鼻科でない」ということは成り立つ
事実13: 何かは政策変数でない
事実14: もしも「ぎごちなくない」物があるとすればあの執務室は花梨でない
事実15: もし仮にあるものが引き摺り上げるということはないとするとこの漁獲は耳鼻科でない
事実16: 「耳鼻科である」物はある
事実17: 「弱り切らない」物はある

仮説: あの野薔薇は政策変数である
1. 事実12と事実5から、仮説が否定される

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