「あのデリアは白犬薺でないが分属する」ということは事実と異なる
fact1: 仮にこの支援費制度が間近いとするとあのサリー・リンは難儀する fact2: もし「この支援費制度は貧し」ということは真実だとすれば「あのサリー・リンは難儀するがしかしそれは間近くない」ということは間違っている fact3: 仮にその直属が乾き易いとすればあのデリアは白犬薺でない fact4: もし仮にある物は貧しとすれば「それは間近い」ということは正しい fact5: あのデリアは白犬薺でない fact6: その直属は乾き易い fact7: あの上院議員はカミングアウトする fact8: あのデリアは白犬薺であるということはないがしかしそれは乾き易い fact9: その直属が乾き易くないとすればあの松永方はカミングアウトしないけどそれは特使だ fact10: もし仮にあの上院議員がカミングアウトするならこの支援費制度は貧し fact11: もし仮にその直属が乾き易いとするとあのデリアは白犬薺でないけど分属する fact12: もし「何らかのものは乾き易いが鋭くない」ということは成り立たないとしたら分属するということはない fact13: もしその直属が白犬薺だとするとあのデリアは分属しないけど乾き易い
fact11 & fact6 -> hypothesis;
fact11 & fact6 -> hypothesis;
その松永方はカミングアウトするということはないがしかし特使だ
$facts$ = fact1: 仮にこの支援費制度が間近いとするとあのサリー・リンは難儀する fact2: もし「この支援費制度は貧し」ということは真実だとすれば「あのサリー・リンは難儀するがしかしそれは間近くない」ということは間違っている fact3: 仮にその直属が乾き易いとすればあのデリアは白犬薺でない fact4: もし仮にある物は貧しとすれば「それは間近い」ということは正しい fact5: あのデリアは白犬薺でない fact6: その直属は乾き易い fact7: あの上院議員はカミングアウトする fact8: あのデリアは白犬薺であるということはないがしかしそれは乾き易い fact9: その直属が乾き易くないとすればあの松永方はカミングアウトしないけどそれは特使だ fact10: もし仮にあの上院議員がカミングアウトするならこの支援費制度は貧し fact11: もし仮にその直属が乾き易いとするとあのデリアは白犬薺でないけど分属する fact12: もし「何らかのものは乾き易いが鋭くない」ということは成り立たないとしたら分属するということはない fact13: もしその直属が白犬薺だとするとあのデリアは分属しないけど乾き易い ; $hypothesis$ = 「あのデリアは白犬薺でないが分属する」ということは事実と異なる ; $proof$ = 
fact11 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にこの支援費制度が間近いとするとあのサリー・リンは難儀する
事実2: もし「この支援費制度は貧し」ということは真実だとすれば「あのサリー・リンは難儀するがしかしそれは間近くない」ということは間違っている
事実3: 仮にその直属が乾き易いとすればあのデリアは白犬薺でない
事実4: もし仮にある物は貧しとすれば「それは間近い」ということは正しい
事実5: あのデリアは白犬薺でない
事実6: その直属は乾き易い
事実7: あの上院議員はカミングアウトする
事実8: あのデリアは白犬薺であるということはないがしかしそれは乾き易い
事実9: その直属が乾き易くないとすればあの松永方はカミングアウトしないけどそれは特使だ
事実10: もし仮にあの上院議員がカミングアウトするならこの支援費制度は貧し
事実11: もし仮にその直属が乾き易いとするとあのデリアは白犬薺でないけど分属する
事実12: もし「何らかのものは乾き易いが鋭くない」ということは成り立たないとしたら分属するということはない
事実13: もしその直属が白犬薺だとするとあのデリアは分属しないけど乾き易い

仮説: 「あのデリアは白犬薺でないが分属する」ということは事実と異なる
1. 事実11と事実6から、仮説が否定される

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