その提案者は濃い
fact1: 仮にあるものが導入後であるとしたら解し難いかまたは冷め難くないか両方である fact2: もしなにがしかの物は作り易いか濃くないとしたら「物の怪姫でない」ということは確かである fact3: もし仮にその提案者は赤黒いとすると「この紫蘇エキスは凛々しいか救護だということはない」ということは正しい fact4: その移植片は掛かり易い fact5: もし仮に何かは救護でないとしたら「それは濃くない」ということは確かだ fact6: もし仮にその正面扉が解し難いとするとその提案者は解し難い fact7: もしも「濃いということはない」ものがあるとするとあのスピリチュアルペインは作り易いかもしくはそれは濃くないかまたはどちらもだ fact8: なんらかの物が凛々しいとすると濃くない fact9: とある物が物の怪姫なら濃い fact10: 「この紫蘇エキスは物の怪姫であるかもしくは作り易い」ということは成り立てばその提案者は濃くない fact11: この道徳的義務が抗しないならばその正面扉は導入後で看護職員だ fact12: もしこの紫蘇エキスが作り易いかまたはそれが濃いかもしくは両方であるとするとその提案者は物の怪姫でない fact13: もしこの紫蘇エキスが物の怪姫であるとすればあの提案者は濃くない fact14: その提案者は立地する fact15: その正面扉は冷め難くないとしたら「その提案者は解し難い」ということは成り立つ fact16: ある物は操作し始めないとすれば抗しない fact17: この紫蘇エキスは作り易い fact18: 解し難いものは赤黒い fact19: 仮に「掛かり易い」物があるとするとこの道徳的義務は掛かり易いか操作し始めるということはないかまたは両方ともである fact20: もしもこの道徳的義務が掛かり易いとしたら抗しない
fact17 -> int1: この紫蘇エキスは物の怪姫であるかもしくは作り易いかあるいは両方である; int1 & fact10 -> hypothesis;
fact17 -> int1: ({A}{a} v {B}{a}); int1 & fact10 -> hypothesis;
その提案者は濃い
fact21 -> int2: 仮にその提案者が物の怪姫だとすると濃い;
$facts$ = fact1: 仮にあるものが導入後であるとしたら解し難いかまたは冷め難くないか両方である fact2: もしなにがしかの物は作り易いか濃くないとしたら「物の怪姫でない」ということは確かである fact3: もし仮にその提案者は赤黒いとすると「この紫蘇エキスは凛々しいか救護だということはない」ということは正しい fact4: その移植片は掛かり易い fact5: もし仮に何かは救護でないとしたら「それは濃くない」ということは確かだ fact6: もし仮にその正面扉が解し難いとするとその提案者は解し難い fact7: もしも「濃いということはない」ものがあるとするとあのスピリチュアルペインは作り易いかもしくはそれは濃くないかまたはどちらもだ fact8: なんらかの物が凛々しいとすると濃くない fact9: とある物が物の怪姫なら濃い fact10: 「この紫蘇エキスは物の怪姫であるかもしくは作り易い」ということは成り立てばその提案者は濃くない fact11: この道徳的義務が抗しないならばその正面扉は導入後で看護職員だ fact12: もしこの紫蘇エキスが作り易いかまたはそれが濃いかもしくは両方であるとするとその提案者は物の怪姫でない fact13: もしこの紫蘇エキスが物の怪姫であるとすればあの提案者は濃くない fact14: その提案者は立地する fact15: その正面扉は冷め難くないとしたら「その提案者は解し難い」ということは成り立つ fact16: ある物は操作し始めないとすれば抗しない fact17: この紫蘇エキスは作り易い fact18: 解し難いものは赤黒い fact19: 仮に「掛かり易い」物があるとするとこの道徳的義務は掛かり易いか操作し始めるということはないかまたは両方ともである fact20: もしもこの道徳的義務が掛かり易いとしたら抗しない ; $hypothesis$ = その提案者は濃い ; $proof$ = 
fact17 -> int1: この紫蘇エキスは物の怪姫であるかもしくは作り易いかあるいは両方である; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮にあるものが導入後であるとしたら解し難いかまたは冷め難くないか両方である
事実2: もしなにがしかの物は作り易いか濃くないとしたら「物の怪姫でない」ということは確かである
事実3: もし仮にその提案者は赤黒いとすると「この紫蘇エキスは凛々しいか救護だということはない」ということは正しい
事実4: その移植片は掛かり易い
事実5: もし仮に何かは救護でないとしたら「それは濃くない」ということは確かだ
事実6: もし仮にその正面扉が解し難いとするとその提案者は解し難い
事実7: もしも「濃いということはない」ものがあるとするとあのスピリチュアルペインは作り易いかもしくはそれは濃くないかまたはどちらもだ
事実8: なんらかの物が凛々しいとすると濃くない
事実9: とある物が物の怪姫なら濃い
事実10: 「この紫蘇エキスは物の怪姫であるかもしくは作り易い」ということは成り立てばその提案者は濃くない
事実11: この道徳的義務が抗しないならばその正面扉は導入後で看護職員だ
事実12: もしこの紫蘇エキスが作り易いかまたはそれが濃いかもしくは両方であるとするとその提案者は物の怪姫でない
事実13: もしこの紫蘇エキスが物の怪姫であるとすればあの提案者は濃くない
事実14: その提案者は立地する
事実15: その正面扉は冷め難くないとしたら「その提案者は解し難い」ということは成り立つ
事実16: ある物は操作し始めないとすれば抗しない
事実17: この紫蘇エキスは作り易い
事実18: 解し難いものは赤黒い
事実19: 仮に「掛かり易い」物があるとするとこの道徳的義務は掛かり易いか操作し始めるということはないかまたは両方ともである
事実20: もしもこの道徳的義務が掛かり易いとしたら抗しない

仮説: その提案者は濃い
1. 事実17から、推論1: "この紫蘇エキスは物の怪姫であるかもしくは作り易いかあるいは両方である"が導かれる
2. 推論1と事実10から、仮説が否定される

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