あのコンディショニングは柔らかいが退治しない
fact1: 仮にあのコンディショニングは柔らかくないとしたら「強請るしさらに当座預金でない」ということは嘘でない fact2: この尊攘は退治しない fact3: あのコンディショニングは柔らかい fact4: あのコンディショニングは退治しない fact5: もしあのコンディショニングはおっそろしならば「柔らかい一方で退治しない」ということは正しいということはない
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
あのコンディショニングは強請るがそれは当座預金だということはない
$facts$ = fact1: 仮にあのコンディショニングは柔らかくないとしたら「強請るしさらに当座預金でない」ということは嘘でない fact2: この尊攘は退治しない fact3: あのコンディショニングは柔らかい fact4: あのコンディショニングは退治しない fact5: もしあのコンディショニングはおっそろしならば「柔らかい一方で退治しない」ということは正しいということはない ; $hypothesis$ = あのコンディショニングは柔らかいが退治しない ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: 仮にあのコンディショニングは柔らかくないとしたら「強請るしさらに当座預金でない」ということは嘘でない
事実2: この尊攘は退治しない
事実3: あのコンディショニングは柔らかい
事実4: あのコンディショニングは退治しない
事実5: もしあのコンディショニングはおっそろしならば「柔らかい一方で退治しない」ということは正しいということはない

仮説: あのコンディショニングは柔らかいが退治しない
1. 事実3と事実4から、仮説が導かれる

よって、仮説が証明されました。