この気相は合わせ易いが分節力でない
fact1: もし仮にその急性症状が合わせ易くないとしたらそれは低エコーであるしそれは点検ロボットでない fact2: その砂糖きびは点検ロボットだ fact3: 仮にその急性症状は低エコーだとすれば「この気相は受け辛い」ということは事実だ fact4: この気相は分節力でない fact5: その急性症状は受け辛い fact6: もし仮にこの気相は低エコーでないならば分節力でない fact7: その急性症状は分節力でない fact8: 仮にその急性症状が点検ロボットであるけれど付き易くないとするとこの気相は低エコーでない fact9: 付き易いということはないものは低エコーだが点検ロボットでない fact10: もしもその急性症状が受け辛いとしたら点検ロボットでない fact11: この気相はコクサッキーウイルスＡであるがしかし点検ロボットでない fact12: もしある物が付き易くないなら合わせ易くて点検ロボットでない fact13: この気相は満遍無くない fact14: 「この気相は受け辛いがそれは分節力であるということはない」ということは確かだ fact15: その急性症状が受け辛いということはないならば合わせ易いししかも低エコーでない fact16: その急性症状は点検ロボットでない fact17: もしもある物が低エコーでないとすればそれは分節力でない fact18: もしもその急性症状が受け辛いとするとそれは点検ロボットでないし加えて付き易くない fact19: この気相は愚かしいけどもどかしくない fact20: その急性症状が点検ロボットでなくてまた付き易くないならこの気相は低エコーでない fact21: 仮にその急性症状が低エコーであるということはないとすれば付き易いしそれは分節力でない fact22: もし何らかの物が低エコーでないならそれは合わせ易いしおまけにそれは分節力でない
fact18 & fact5 -> int1: その急性症状は点検ロボットでなくて付き易くない; int1 & fact20 -> int2: この気相は低エコーだということはない; fact22 -> int3: この気相は低エコーでないならばそれは合わせ易いけれど分節力でない; int2 & int3 -> hypothesis;
「この気相は合わせ易いけれどそれは分節力でない」ということは事実でない
$facts$ = fact1: もし仮にその急性症状が合わせ易くないとしたらそれは低エコーであるしそれは点検ロボットでない fact2: その砂糖きびは点検ロボットだ fact3: 仮にその急性症状は低エコーだとすれば「この気相は受け辛い」ということは事実だ fact4: この気相は分節力でない fact5: その急性症状は受け辛い fact6: もし仮にこの気相は低エコーでないならば分節力でない fact7: その急性症状は分節力でない fact8: 仮にその急性症状が点検ロボットであるけれど付き易くないとするとこの気相は低エコーでない fact9: 付き易いということはないものは低エコーだが点検ロボットでない fact10: もしもその急性症状が受け辛いとしたら点検ロボットでない fact11: この気相はコクサッキーウイルスＡであるがしかし点検ロボットでない fact12: もしある物が付き易くないなら合わせ易くて点検ロボットでない fact13: この気相は満遍無くない fact14: 「この気相は受け辛いがそれは分節力であるということはない」ということは確かだ fact15: その急性症状が受け辛いということはないならば合わせ易いししかも低エコーでない fact16: その急性症状は点検ロボットでない fact17: もしもある物が低エコーでないとすればそれは分節力でない fact18: もしもその急性症状が受け辛いとするとそれは点検ロボットでないし加えて付き易くない fact19: この気相は愚かしいけどもどかしくない fact20: その急性症状が点検ロボットでなくてまた付き易くないならこの気相は低エコーでない fact21: 仮にその急性症状が低エコーであるということはないとすれば付き易いしそれは分節力でない fact22: もし何らかの物が低エコーでないならそれは合わせ易いしおまけにそれは分節力でない ; $hypothesis$ = この気相は合わせ易いが分節力でない ; $proof$ = 
fact18 & fact5 -> int1: その急性症状は点検ロボットでなくて付き易くない; int1 & fact20 -> int2: この気相は低エコーだということはない; fact22 -> int3: この気相は低エコーでないならばそれは合わせ易いけれど分節力でない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にその急性症状が合わせ易くないとしたらそれは低エコーであるしそれは点検ロボットでない
事実2: その砂糖きびは点検ロボットだ
事実3: 仮にその急性症状は低エコーだとすれば「この気相は受け辛い」ということは事実だ
事実4: この気相は分節力でない
事実5: その急性症状は受け辛い
事実6: もし仮にこの気相は低エコーでないならば分節力でない
事実7: その急性症状は分節力でない
事実8: 仮にその急性症状が点検ロボットであるけれど付き易くないとするとこの気相は低エコーでない
事実9: 付き易いということはないものは低エコーだが点検ロボットでない
事実10: もしもその急性症状が受け辛いとしたら点検ロボットでない
事実11: この気相はコクサッキーウイルスＡであるがしかし点検ロボットでない
事実12: もしある物が付き易くないなら合わせ易くて点検ロボットでない
事実13: この気相は満遍無くない
事実14: 「この気相は受け辛いがそれは分節力であるということはない」ということは確かだ
事実15: その急性症状が受け辛いということはないならば合わせ易いししかも低エコーでない
事実16: その急性症状は点検ロボットでない
事実17: もしもある物が低エコーでないとすればそれは分節力でない
事実18: もしもその急性症状が受け辛いとするとそれは点検ロボットでないし加えて付き易くない
事実19: この気相は愚かしいけどもどかしくない
事実20: その急性症状が点検ロボットでなくてまた付き易くないならこの気相は低エコーでない
事実21: 仮にその急性症状が低エコーであるということはないとすれば付き易いしそれは分節力でない
事実22: もし何らかの物が低エコーでないならそれは合わせ易いしおまけにそれは分節力でない

仮説: この気相は合わせ易いが分節力でない
1. 事実18と事実5から、推論1: "その急性症状は点検ロボットでなくて付き易くない"が導かれる
2. 推論1と事実20から、推論2: "この気相は低エコーだということはない"が導かれる
3. 事実22から、推論3: "この気相は低エコーでないならばそれは合わせ易いけれど分節力でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。