その工業原料は特売でない
fact1: この麻酔無しは見初めない fact2: この奇襲部隊は見初める fact3: この大資本は見初めない fact4: 「その工業原料は見初める」ということは事実である fact5: 消化し易くないものは心無いしその上見初める fact6: もしこの麻酔無しが見初めるということはないとすればその工業原料は特売で治癒過程だ fact7: もしこのＵＰデートがポンピドゥ・センターでないとするとこの麻酔無しは見初めるかまたは消化し易くない fact8: もし仮にこの麻酔無しが見初めないとしたらその工業原料は治癒過程だ fact9: その工業原料は断定し難くない fact10: 「その工業原料は治癒過程である」ということは確かである
fact6 & fact1 -> int1: その工業原料は特売であるし治癒過程だ; int1 -> hypothesis;
fact6 & fact1 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
その工業原料は特売でない
$facts$ = fact1: この麻酔無しは見初めない fact2: この奇襲部隊は見初める fact3: この大資本は見初めない fact4: 「その工業原料は見初める」ということは事実である fact5: 消化し易くないものは心無いしその上見初める fact6: もしこの麻酔無しが見初めるということはないとすればその工業原料は特売で治癒過程だ fact7: もしこのＵＰデートがポンピドゥ・センターでないとするとこの麻酔無しは見初めるかまたは消化し易くない fact8: もし仮にこの麻酔無しが見初めないとしたらその工業原料は治癒過程だ fact9: その工業原料は断定し難くない fact10: 「その工業原料は治癒過程である」ということは確かである ; $hypothesis$ = その工業原料は特売でない ; $proof$ = 
fact6 & fact1 -> int1: その工業原料は特売であるし治癒過程だ; int1 -> hypothesis; __DISPROVED__
事実1: この麻酔無しは見初めない
事実2: この奇襲部隊は見初める
事実3: この大資本は見初めない
事実4: 「その工業原料は見初める」ということは事実である
事実5: 消化し易くないものは心無いしその上見初める
事実6: もしこの麻酔無しが見初めるということはないとすればその工業原料は特売で治癒過程だ
事実7: もしこのＵＰデートがポンピドゥ・センターでないとするとこの麻酔無しは見初めるかまたは消化し易くない
事実8: もし仮にこの麻酔無しが見初めないとしたらその工業原料は治癒過程だ
事実9: その工業原料は断定し難くない
事実10: 「その工業原料は治癒過程である」ということは確かである

仮説: その工業原料は特売でない
1. 事実6と事実1から、推論1: "その工業原料は特売であるし治癒過程だ"が導かれる
2. 推論1から、仮説が否定される

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