この医療提供は冷遇しない
fact1: この医療提供は甘い fact2: もしその装置が残り難くないかあるいは似付かわしいかどちらもだとするとあのタイプ分類は消毒する fact3: なにがしかのものは消毒するとすると「傘加しないし加えて甘くない」ということは成り立たない fact4: もしこの医療提供が甘いとしたら冷遇する fact5: もし「なんらかのものは残り難いが似付かわしくらない」ということは間違いなら消毒しない fact6: その装置は翻意する fact7: もしもこの医療提供が傘加するとするとその聞き耳は甘いが冷遇しない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
「この医療提供は冷遇しない」ということは本当だ
fact9 -> int1: もしあのタイプ分類は消毒するとしたら「それは傘加しなくて加えて甘くない」ということは事実と異なる;
$facts$ = fact1: この医療提供は甘い fact2: もしその装置が残り難くないかあるいは似付かわしいかどちらもだとするとあのタイプ分類は消毒する fact3: なにがしかのものは消毒するとすると「傘加しないし加えて甘くない」ということは成り立たない fact4: もしこの医療提供が甘いとしたら冷遇する fact5: もし「なんらかのものは残り難いが似付かわしくらない」ということは間違いなら消毒しない fact6: その装置は翻意する fact7: もしもこの医療提供が傘加するとするとその聞き耳は甘いが冷遇しない ; $hypothesis$ = この医療提供は冷遇しない ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: この医療提供は甘い
事実2: もしその装置が残り難くないかあるいは似付かわしいかどちらもだとするとあのタイプ分類は消毒する
事実3: なにがしかのものは消毒するとすると「傘加しないし加えて甘くない」ということは成り立たない
事実4: もしこの医療提供が甘いとしたら冷遇する
事実5: もし「なんらかのものは残り難いが似付かわしくらない」ということは間違いなら消毒しない
事実6: その装置は翻意する
事実7: もしもこの医療提供が傘加するとするとその聞き耳は甘いが冷遇しない

仮説: この医療提供は冷遇しない
1. 事実4と事実1から、仮説が否定される

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