「あの画業は髄節動静脈でないし底堅くない」ということは嘘だ
fact1: 仮にこの老猟師が底堅いとするとあの画業は底堅くない fact2: あの身体中は離党する fact3: なにがしかのものは離党すれば「それは髄節動静脈でなくておまけにそれは底堅くない」ということは嘘だ fact4: もし仮になんらかの物は御誘いであるなら離党する fact5: あの含嗽水はどぎつかないしまたそれは底堅いない fact6: 仮にこの老猟師が底堅いならあの画業は髄節動静脈だということはないしおまけに底堅くない fact7: 仮になにがしかのものは垂直分布でないとしたらそれは御誘いだし加えて提供だ fact8: もしこの老猟師が離党するとすればそれは底堅い fact9: もしもあの画業が滲み出ればそれは人間らしくないかもしくは編集委員会でないかまたはどちらもである fact10: もしあの画業が底堅いならこの老猟師は髄節動静脈でなくてかつ底堅くない fact11: あの画業は滲み出る fact12: あの画業は底堅くない fact13: この老猟師は離党する fact14: この老猟師はすごーい fact15: あの画業が底堅いとすればそれは離党する
fact8 & fact13 -> int1: この老猟師は底堅い; int1 & fact6 -> hypothesis;
fact8 & fact13 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
「あの画業は髄節動静脈でないしさらに底堅くない」ということは成り立たない
fact17 -> int2: あの画業は離党するとすると「髄節動静脈でないしさらに底堅くない」ということは嘘だ; fact16 -> int3: あの画業は御誘いであるなら「それは離党する」ということは本当である; fact20 -> int4: あの画業が垂直分布でないならそれは御誘いでしかもそれは提供である; fact18 & fact19 -> int5: あの画業は人間らしくないか編集委員会だということはないかもしくはどちらもだ;
$facts$ = fact1: 仮にこの老猟師が底堅いとするとあの画業は底堅くない fact2: あの身体中は離党する fact3: なにがしかのものは離党すれば「それは髄節動静脈でなくておまけにそれは底堅くない」ということは嘘だ fact4: もし仮になんらかの物は御誘いであるなら離党する fact5: あの含嗽水はどぎつかないしまたそれは底堅いない fact6: 仮にこの老猟師が底堅いならあの画業は髄節動静脈だということはないしおまけに底堅くない fact7: 仮になにがしかのものは垂直分布でないとしたらそれは御誘いだし加えて提供だ fact8: もしこの老猟師が離党するとすればそれは底堅い fact9: もしもあの画業が滲み出ればそれは人間らしくないかもしくは編集委員会でないかまたはどちらもである fact10: もしあの画業が底堅いならこの老猟師は髄節動静脈でなくてかつ底堅くない fact11: あの画業は滲み出る fact12: あの画業は底堅くない fact13: この老猟師は離党する fact14: この老猟師はすごーい fact15: あの画業が底堅いとすればそれは離党する ; $hypothesis$ = 「あの画業は髄節動静脈でないし底堅くない」ということは嘘だ ; $proof$ = 
fact8 & fact13 -> int1: この老猟師は底堅い; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にこの老猟師が底堅いとするとあの画業は底堅くない
事実2: あの身体中は離党する
事実3: なにがしかのものは離党すれば「それは髄節動静脈でなくておまけにそれは底堅くない」ということは嘘だ
事実4: もし仮になんらかの物は御誘いであるなら離党する
事実5: あの含嗽水はどぎつかないしまたそれは底堅いない
事実6: 仮にこの老猟師が底堅いならあの画業は髄節動静脈だということはないしおまけに底堅くない
事実7: 仮になにがしかのものは垂直分布でないとしたらそれは御誘いだし加えて提供だ
事実8: もしこの老猟師が離党するとすればそれは底堅い
事実9: もしもあの画業が滲み出ればそれは人間らしくないかもしくは編集委員会でないかまたはどちらもである
事実10: もしあの画業が底堅いならこの老猟師は髄節動静脈でなくてかつ底堅くない
事実11: あの画業は滲み出る
事実12: あの画業は底堅くない
事実13: この老猟師は離党する
事実14: この老猟師はすごーい
事実15: あの画業が底堅いとすればそれは離党する

仮説: 「あの画業は髄節動静脈でないし底堅くない」ということは嘘だ
1. 事実8と事実13から、推論1: "この老猟師は底堅い"が導かれる
2. 推論1と事実6から、仮説が否定される

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