「その業務担当者は酸化マグネシウムである」ということは確かだ
fact1: もし仮に「とある物は酸化マグネシウムだが手酷いということはない」ということは間違っているとすると諦める fact2: その整理案は愛しいしさらに手酷い fact3: もしもなにがしかの物は杜仲でないとしたら「酸化マグネシウムだ」ということは事実である fact4: もしその整理案は泥臭くないならば「打ち消し合うししかもけばけばしい」ということは誤っている fact5: 仮に「なんらかの物は打ち消し合うしけばけばしい」ということは事実と異なるとしたらそれは突き返さない fact6: その整理案は杜仲だ fact7: もしその整理案が突き返すしそれに手酷いとしたらその業務担当者は酸化マグネシウムでない fact8: もしその整理案は杜仲であるなら「突き返す」ということは確かだ fact9: あのジェンダー的秩序は愛しくない fact10: もしあのジェンダー的秩序は愛しくないならば「酸化マグネシウムであるしそれは手酷くない」ということは間違っている
fact8 & fact6 -> int1: その整理案は突き返す; fact2 -> int2: その整理案は手酷い; int1 & int2 -> int3: その整理案は突き返すしそれに手酷い; int3 & fact7 -> hypothesis;
fact8 & fact6 -> int1: {B}{a}; fact2 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact7 -> hypothesis;
その業務担当者は酸化マグネシウムである
fact11 -> int4: もしもその業務担当者は杜仲でないとするとそれは酸化マグネシウムである;
$facts$ = fact1: もし仮に「とある物は酸化マグネシウムだが手酷いということはない」ということは間違っているとすると諦める fact2: その整理案は愛しいしさらに手酷い fact3: もしもなにがしかの物は杜仲でないとしたら「酸化マグネシウムだ」ということは事実である fact4: もしその整理案は泥臭くないならば「打ち消し合うししかもけばけばしい」ということは誤っている fact5: 仮に「なんらかの物は打ち消し合うしけばけばしい」ということは事実と異なるとしたらそれは突き返さない fact6: その整理案は杜仲だ fact7: もしその整理案が突き返すしそれに手酷いとしたらその業務担当者は酸化マグネシウムでない fact8: もしその整理案は杜仲であるなら「突き返す」ということは確かだ fact9: あのジェンダー的秩序は愛しくない fact10: もしあのジェンダー的秩序は愛しくないならば「酸化マグネシウムであるしそれは手酷くない」ということは間違っている ; $hypothesis$ = 「その業務担当者は酸化マグネシウムである」ということは確かだ ; $proof$ = 
fact8 & fact6 -> int1: その整理案は突き返す; fact2 -> int2: その整理案は手酷い; int1 & int2 -> int3: その整理案は突き返すしそれに手酷い; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に「とある物は酸化マグネシウムだが手酷いということはない」ということは間違っているとすると諦める
事実2: その整理案は愛しいしさらに手酷い
事実3: もしもなにがしかの物は杜仲でないとしたら「酸化マグネシウムだ」ということは事実である
事実4: もしその整理案は泥臭くないならば「打ち消し合うししかもけばけばしい」ということは誤っている
事実5: 仮に「なんらかの物は打ち消し合うしけばけばしい」ということは事実と異なるとしたらそれは突き返さない
事実6: その整理案は杜仲だ
事実7: もしその整理案が突き返すしそれに手酷いとしたらその業務担当者は酸化マグネシウムでない
事実8: もしその整理案は杜仲であるなら「突き返す」ということは確かだ
事実9: あのジェンダー的秩序は愛しくない
事実10: もしあのジェンダー的秩序は愛しくないならば「酸化マグネシウムであるしそれは手酷くない」ということは間違っている

仮説: 「その業務担当者は酸化マグネシウムである」ということは確かだ
1. 事実8と事実6から、推論1: "その整理案は突き返す"が導かれる
2. 事実2から、推論2: "その整理案は手酷い"が導かれる
3. 推論1と推論2から、推論3: "その整理案は突き返すしそれに手酷い"が導かれる
4. 推論3と事実7から、仮説が否定される

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