この複合グラフは山葡萄でないけど感染し易い
fact1: もし仮にこの失語症が収蔵・展示しないがしかし子供っぽいとすればこの司祭館は添付すらない fact2: この司祭館が一農夫だということはないならばあの随意契約は五章でおまけにそれは強い fact3: 「「この複合グラフは作り難くないがそれは商売女だ」ということは成り立たない」ということは成り立つ fact4: もしあの随意契約が強いならばこの複合グラフは山葡萄でないがそれは感染し易い fact5: 「この複合グラフは山葡萄であるししかも感染し易い」ということは確かだということはない fact6: 「その歌唱は下令しないけど感染し易い」ということは成り立たない fact7: もし何かは添付すらないならそれは御吸い物であるかもしくは求め合うかまたは両方ともだ fact8: 「この複合グラフは山葡萄でないがしかしそれは感染し易い」ということは間違いである
fact8 -> hypothesis;
fact8 -> hypothesis;
この複合グラフは山葡萄だということはないが感染し易い
fact9 -> int1: もしこの司祭館が添付すということはないとしたら御吸い物であるかもしくはそれは求め合う;
$facts$ = fact1: もし仮にこの失語症が収蔵・展示しないがしかし子供っぽいとすればこの司祭館は添付すらない fact2: この司祭館が一農夫だということはないならばあの随意契約は五章でおまけにそれは強い fact3: 「「この複合グラフは作り難くないがそれは商売女だ」ということは成り立たない」ということは成り立つ fact4: もしあの随意契約が強いならばこの複合グラフは山葡萄でないがそれは感染し易い fact5: 「この複合グラフは山葡萄であるししかも感染し易い」ということは確かだということはない fact6: 「その歌唱は下令しないけど感染し易い」ということは成り立たない fact7: もし何かは添付すらないならそれは御吸い物であるかもしくは求め合うかまたは両方ともだ fact8: 「この複合グラフは山葡萄でないがしかしそれは感染し易い」ということは間違いである ; $hypothesis$ = この複合グラフは山葡萄でないけど感染し易い ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にこの失語症が収蔵・展示しないがしかし子供っぽいとすればこの司祭館は添付すらない
事実2: この司祭館が一農夫だということはないならばあの随意契約は五章でおまけにそれは強い
事実3: 「「この複合グラフは作り難くないがそれは商売女だ」ということは成り立たない」ということは成り立つ
事実4: もしあの随意契約が強いならばこの複合グラフは山葡萄でないがそれは感染し易い
事実5: 「この複合グラフは山葡萄であるししかも感染し易い」ということは確かだということはない
事実6: 「その歌唱は下令しないけど感染し易い」ということは成り立たない
事実7: もし何かは添付すらないならそれは御吸い物であるかもしくは求め合うかまたは両方ともだ
事実8: 「この複合グラフは山葡萄でないがしかしそれは感染し易い」ということは間違いである

仮説: この複合グラフは山葡萄でないけど感染し易い
1. 事実8から、仮説が否定される

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