「このヘッドは乳酸発酵乳だ」ということは間違っているということはない
fact1: このヘッドは敵中深い fact2: 仮にそのオーデコロンが散らばるならこの逸脱行為は散らばる fact3: もしこのヘッドが散らばらなくて加えて御供えしないとしたらその大宇宙は乳酸発酵乳でない fact4: もしも敵中深い物が色分けするとすればそれは乳酸発酵乳だということはない fact5: あのカスタムソードは敵中深いしその上新党だ fact6: このヘッドは色分けする fact7: このヘッドは疲れ易いししかも耐え切れるなら泥臭くない fact8: その大宇宙が乳酸発酵乳だということはないとすると敵中深いしそれに色分けする fact9: もし仮にとある物が啄まないとしたらそれは散らばらないしまた御供えしない fact10: 「この入力電圧は色分けしない」ということは成り立つ fact11: もしも「この専門業者は乳酸発酵乳である一方で色分けするということはない」ということは本当であるとしたらこのヘッドは乳酸発酵乳である
fact1 & fact6 -> int1: このヘッドは敵中深いししかも色分けする; fact4 -> int2: このヘッドが敵中深いし色分けするとすると乳酸発酵乳でない; int1 & int2 -> hypothesis;
このヘッドは乳酸発酵乳だ
$facts$ = fact1: このヘッドは敵中深い fact2: 仮にそのオーデコロンが散らばるならこの逸脱行為は散らばる fact3: もしこのヘッドが散らばらなくて加えて御供えしないとしたらその大宇宙は乳酸発酵乳でない fact4: もしも敵中深い物が色分けするとすればそれは乳酸発酵乳だということはない fact5: あのカスタムソードは敵中深いしその上新党だ fact6: このヘッドは色分けする fact7: このヘッドは疲れ易いししかも耐え切れるなら泥臭くない fact8: その大宇宙が乳酸発酵乳だということはないとすると敵中深いしそれに色分けする fact9: もし仮にとある物が啄まないとしたらそれは散らばらないしまた御供えしない fact10: 「この入力電圧は色分けしない」ということは成り立つ fact11: もしも「この専門業者は乳酸発酵乳である一方で色分けするということはない」ということは本当であるとしたらこのヘッドは乳酸発酵乳である ; $hypothesis$ = 「このヘッドは乳酸発酵乳だ」ということは間違っているということはない ; $proof$ = 
fact1 & fact6 -> int1: このヘッドは敵中深いししかも色分けする; fact4 -> int2: このヘッドが敵中深いし色分けするとすると乳酸発酵乳でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: このヘッドは敵中深い
事実2: 仮にそのオーデコロンが散らばるならこの逸脱行為は散らばる
事実3: もしこのヘッドが散らばらなくて加えて御供えしないとしたらその大宇宙は乳酸発酵乳でない
事実4: もしも敵中深い物が色分けするとすればそれは乳酸発酵乳だということはない
事実5: あのカスタムソードは敵中深いしその上新党だ
事実6: このヘッドは色分けする
事実7: このヘッドは疲れ易いししかも耐え切れるなら泥臭くない
事実8: その大宇宙が乳酸発酵乳だということはないとすると敵中深いしそれに色分けする
事実9: もし仮にとある物が啄まないとしたらそれは散らばらないしまた御供えしない
事実10: 「この入力電圧は色分けしない」ということは成り立つ
事実11: もしも「この専門業者は乳酸発酵乳である一方で色分けするということはない」ということは本当であるとしたらこのヘッドは乳酸発酵乳である

仮説: 「このヘッドは乳酸発酵乳だ」ということは間違っているということはない
1. 事実1と事実6から、推論1: "このヘッドは敵中深いししかも色分けする"が導かれる
2. 事実4から、推論2: "このヘッドが敵中深いし色分けするとすると乳酸発酵乳でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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