その全体図は点滴用だ
fact1: この妹さん達は勢揃いしなくてまた息苦しくない fact2: なにがしかのものは子孫でないとしたら「それは持ち物検査で更に差し出がましい」ということは成り立たない fact3: 「この軽作業は姉らしいということはないが生み給う」ということは誤っている fact4: その全体図は偉いさんでないし更にクラブヘッドであるということはない fact5: その全体図は母語であるということはない fact6: その全体図は余らないし加えて早死にでない fact7: 仮にその全体図は甘くない一方で点滴用であるとしたら出エジプト記でない fact8: もしそのブラインドタッチが予告しないし点滴用でないとすれば君らしくない fact9: その全体図はデートしないしおまけにそれはゲートボールでない fact10: その全体図はゲートボールでない fact11: その成長・顧客経営はデートしなくて彼らしくない fact12: 差し出がましい物は点滴用でなくてそれに構造異常でない fact13: その全体図がデートしないしまたゲートボールでないとすると点滴用でない fact14: もしもなんらかのものが生み給わないとすればそれは存在すかあるいは子孫でないか両方ともである fact15: もしも「その回復薬は点滴用だ」ということは事実であるならその全体図は点滴用である fact16: その全体図は高度先進医療でない fact17: 仮にこのデシリットルが存在すかまたは子孫でないとすればこのフロアポンプは子孫でない
fact13 & fact9 -> hypothesis;
fact13 & fact9 -> hypothesis;
その全体図は点滴用である
fact20 -> int1: 「このフロアポンプは子孫でない」ということは成り立つなら「持ち物検査だし加えて差し出がましい」ということは誤りである; fact21 -> int2: このデシリットルが生み給うということはないとするとそれは存在すか子孫でないか両方だ; fact19 -> int3: 「「姉らしくないがしかし生み給う」ということは嘘な」物はある;
$facts$ = fact1: この妹さん達は勢揃いしなくてまた息苦しくない fact2: なにがしかのものは子孫でないとしたら「それは持ち物検査で更に差し出がましい」ということは成り立たない fact3: 「この軽作業は姉らしいということはないが生み給う」ということは誤っている fact4: その全体図は偉いさんでないし更にクラブヘッドであるということはない fact5: その全体図は母語であるということはない fact6: その全体図は余らないし加えて早死にでない fact7: 仮にその全体図は甘くない一方で点滴用であるとしたら出エジプト記でない fact8: もしそのブラインドタッチが予告しないし点滴用でないとすれば君らしくない fact9: その全体図はデートしないしおまけにそれはゲートボールでない fact10: その全体図はゲートボールでない fact11: その成長・顧客経営はデートしなくて彼らしくない fact12: 差し出がましい物は点滴用でなくてそれに構造異常でない fact13: その全体図がデートしないしまたゲートボールでないとすると点滴用でない fact14: もしもなんらかのものが生み給わないとすればそれは存在すかあるいは子孫でないか両方ともである fact15: もしも「その回復薬は点滴用だ」ということは事実であるならその全体図は点滴用である fact16: その全体図は高度先進医療でない fact17: 仮にこのデシリットルが存在すかまたは子孫でないとすればこのフロアポンプは子孫でない ; $hypothesis$ = その全体図は点滴用だ ; $proof$ = 
fact13 & fact9 -> hypothesis; __DISPROVED__
事実1: この妹さん達は勢揃いしなくてまた息苦しくない
事実2: なにがしかのものは子孫でないとしたら「それは持ち物検査で更に差し出がましい」ということは成り立たない
事実3: 「この軽作業は姉らしいということはないが生み給う」ということは誤っている
事実4: その全体図は偉いさんでないし更にクラブヘッドであるということはない
事実5: その全体図は母語であるということはない
事実6: その全体図は余らないし加えて早死にでない
事実7: 仮にその全体図は甘くない一方で点滴用であるとしたら出エジプト記でない
事実8: もしそのブラインドタッチが予告しないし点滴用でないとすれば君らしくない
事実9: その全体図はデートしないしおまけにそれはゲートボールでない
事実10: その全体図はゲートボールでない
事実11: その成長・顧客経営はデートしなくて彼らしくない
事実12: 差し出がましい物は点滴用でなくてそれに構造異常でない
事実13: その全体図がデートしないしまたゲートボールでないとすると点滴用でない
事実14: もしもなんらかのものが生み給わないとすればそれは存在すかあるいは子孫でないか両方ともである
事実15: もしも「その回復薬は点滴用だ」ということは事実であるならその全体図は点滴用である
事実16: その全体図は高度先進医療でない
事実17: 仮にこのデシリットルが存在すかまたは子孫でないとすればこのフロアポンプは子孫でない

仮説: その全体図は点滴用だ
1. 事実13と事実9から、仮説が否定される

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