その横材は苦々しい
fact1: この院政は伝い流れないし加えてぶら下がらない fact2: この院政は伝い流れないししかも苦々しいということはない fact3: もしこの圃場が青っぽいけど相伴わないとしたらその横材は苦々しいということはない fact4: この院政は伝い流れない fact5: もしこの院政が歩き難いとするとその魯迅公園は歩き難い fact6: この圃場は孵るしかつ青っぽい fact7: もしこの圃場が孵らないがそれは伝い流れるとすれば「この院政は青っぽいということはない」ということは間違っているということはない fact8: この院政は和えるし加えて青っぽい fact9: この二億五千万年前は重たいししかも行き難い fact10: その魯迅公園は相伴わない fact11: もし仮にこの院政が伝い流れるがそれがぶら下がらないとするとこの圃場は相伴うということはない fact12: 「この院政は相伴わないしその上それは孵らない」ということは間違っているなら相伴う fact13: この圃場は伝い流れる fact14: その横材は孵る fact15: この圃場は孵る fact16: この院政が伝い流れるということはないしおまけにそれがぶら下がらないならこの圃場は相伴うということはない
fact16 & fact1 -> int1: この圃場は相伴わない; fact6 -> int2: この圃場は青っぽい; int1 & int2 -> int3: この圃場は青っぽいけど相伴わない; int3 & fact3 -> hypothesis;
fact16 & fact1 -> int1: ¬{B}{b}; fact6 -> int2: {A}{b}; int1 & int2 -> int3: ({A}{b} & ¬{B}{b}); int3 & fact3 -> hypothesis;
その魯迅公園は孵るし加えて歩き難い
$facts$ = fact1: この院政は伝い流れないし加えてぶら下がらない fact2: この院政は伝い流れないししかも苦々しいということはない fact3: もしこの圃場が青っぽいけど相伴わないとしたらその横材は苦々しいということはない fact4: この院政は伝い流れない fact5: もしこの院政が歩き難いとするとその魯迅公園は歩き難い fact6: この圃場は孵るしかつ青っぽい fact7: もしこの圃場が孵らないがそれは伝い流れるとすれば「この院政は青っぽいということはない」ということは間違っているということはない fact8: この院政は和えるし加えて青っぽい fact9: この二億五千万年前は重たいししかも行き難い fact10: その魯迅公園は相伴わない fact11: もし仮にこの院政が伝い流れるがそれがぶら下がらないとするとこの圃場は相伴うということはない fact12: 「この院政は相伴わないしその上それは孵らない」ということは間違っているなら相伴う fact13: この圃場は伝い流れる fact14: その横材は孵る fact15: この圃場は孵る fact16: この院政が伝い流れるということはないしおまけにそれがぶら下がらないならこの圃場は相伴うということはない ; $hypothesis$ = その横材は苦々しい ; $proof$ = 
fact16 & fact1 -> int1: この圃場は相伴わない; fact6 -> int2: この圃場は青っぽい; int1 & int2 -> int3: この圃場は青っぽいけど相伴わない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: この院政は伝い流れないし加えてぶら下がらない
事実2: この院政は伝い流れないししかも苦々しいということはない
事実3: もしこの圃場が青っぽいけど相伴わないとしたらその横材は苦々しいということはない
事実4: この院政は伝い流れない
事実5: もしこの院政が歩き難いとするとその魯迅公園は歩き難い
事実6: この圃場は孵るしかつ青っぽい
事実7: もしこの圃場が孵らないがそれは伝い流れるとすれば「この院政は青っぽいということはない」ということは間違っているということはない
事実8: この院政は和えるし加えて青っぽい
事実9: この二億五千万年前は重たいししかも行き難い
事実10: その魯迅公園は相伴わない
事実11: もし仮にこの院政が伝い流れるがそれがぶら下がらないとするとこの圃場は相伴うということはない
事実12: 「この院政は相伴わないしその上それは孵らない」ということは間違っているなら相伴う
事実13: この圃場は伝い流れる
事実14: その横材は孵る
事実15: この圃場は孵る
事実16: この院政が伝い流れるということはないしおまけにそれがぶら下がらないならこの圃場は相伴うということはない

仮説: その横材は苦々しい
1. 事実16と事実1から、推論1: "この圃場は相伴わない"が導かれる
2. 事実6から、推論2: "この圃場は青っぽい"が導かれる
3. 推論1と推論2から、推論3: "この圃場は青っぽいけど相伴わない"が導かれる
4. 推論3と事実3から、仮説が否定される

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