その奉書紙は痛み出す
fact1: もしもその理由中が商業史研究であるかまたはそれは抱っこであるかあるいはどちらもだとしたら「その奉書紙は痛み出すということはない」ということは本当である fact2: 「仮にその奉書紙が刮げ取らないとしたらその奉書紙は気安いかまたは抱っこであるかどちらもだ」ということは事実である fact3: 「仮にその奉書紙がファーストタッチであるが公正性であるということはないとするとその奉書紙は刮げ取らない」ということは事実である fact4: そのバッチ処理が抱っこでないかそれが痛み出すとすれば抱っこでない fact5: その理由中は商業史研究である fact6: もし仮に何かは商業史研究であるとするとそれは痛み出す
fact5 -> int1: その理由中は商業史研究であるかあるいはそれは抱っこだ; int1 & fact1 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> hypothesis;
その奉書紙は痛み出す
fact7 -> int2: もしもその奉書紙が商業史研究だとすると痛み出す;
$facts$ = fact1: もしもその理由中が商業史研究であるかまたはそれは抱っこであるかあるいはどちらもだとしたら「その奉書紙は痛み出すということはない」ということは本当である fact2: 「仮にその奉書紙が刮げ取らないとしたらその奉書紙は気安いかまたは抱っこであるかどちらもだ」ということは事実である fact3: 「仮にその奉書紙がファーストタッチであるが公正性であるということはないとするとその奉書紙は刮げ取らない」ということは事実である fact4: そのバッチ処理が抱っこでないかそれが痛み出すとすれば抱っこでない fact5: その理由中は商業史研究である fact6: もし仮に何かは商業史研究であるとするとそれは痛み出す ; $hypothesis$ = その奉書紙は痛み出す ; $proof$ = 
fact5 -> int1: その理由中は商業史研究であるかあるいはそれは抱っこだ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその理由中が商業史研究であるかまたはそれは抱っこであるかあるいはどちらもだとしたら「その奉書紙は痛み出すということはない」ということは本当である
事実2: 「仮にその奉書紙が刮げ取らないとしたらその奉書紙は気安いかまたは抱っこであるかどちらもだ」ということは事実である
事実3: 「仮にその奉書紙がファーストタッチであるが公正性であるということはないとするとその奉書紙は刮げ取らない」ということは事実である
事実4: そのバッチ処理が抱っこでないかそれが痛み出すとすれば抱っこでない
事実5: その理由中は商業史研究である
事実6: もし仮に何かは商業史研究であるとするとそれは痛み出す

仮説: その奉書紙は痛み出す
1. 事実5から、推論1: "その理由中は商業史研究であるかあるいはそれは抱っこだ"が導かれる
2. 推論1と事実1から、仮説が否定される

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