この調査対象者は貧し
fact1: もし「その完熟堆肥は成り行き任せである」ということは正しいならばこの黄身は両立出来る fact2: 「抑鬱な」ものがあるならばあの黄身は成り行き任せである fact3: なんらかのものは自問するかもしくは発揮し易い fact4: 「「抑鬱でなくて行き難くない」ということは本当でない」ものはある fact5: あの電気毛布は発揮し易いということはない fact6: 「「抑鬱でないしさらに行き難くない」物はある」ということは確かである fact7: もし「タバコ盆な」物があるならあの電気毛布は発揮し易くない fact8: もしなんらかの物が連結調整勘定でないがそれがどでかいとすれば自問しない fact9: もし「タバコ盆である」ものはあれば「「あの電気毛布は自問するかあるいは発揮し易いかどちらもである」ということは成り立たない」ということは事実だ fact10: もし仮に「「自問するかまたは発揮し易いかまたは両方である」ということは事実であるということはない」物があるとすればこの調査対象者は貧しない fact11: 仮に「その完熟堆肥は発揮し易いけれど金属作りだということはない」ということは間違いであるとすればこの黄身はタバコ盆だ fact12: もしも「「抑鬱でなくてしかも行き難くない」ということは嘘な」ものがあるとするとこの黄身は成り行き任せである fact13: 「「抑鬱でないし行き難い」ということは事実と異なる」ものはある fact14: 発揮し易くない物はある fact15: ある物は自問しない fact16: 「「抑鬱であるしまた行き難くない」ということは偽である」物はある fact17: もしもこの黄身が成り行き任せであるとすればその完熟堆肥はタバコ盆だ fact18: この黄身がタバコ盆であるがしかし自問しないとしたらこの調査対象者はタバコ盆でない
fact4 & fact12 -> int1: この黄身は成り行き任せだ; int1 & fact17 -> int2: その完熟堆肥はタバコ盆だ; int2 -> int3: とある物はタバコ盆だ; int3 & fact9 -> int4: 「あの電気毛布は自問するかそれは発揮し易い」ということは成り立たない; int4 -> int5: 「「自問するかもしくは発揮し易い」ということは偽である」物はある; int5 & fact10 -> hypothesis;
この黄身は両立出来る
$facts$ = fact1: もし「その完熟堆肥は成り行き任せである」ということは正しいならばこの黄身は両立出来る fact2: 「抑鬱な」ものがあるならばあの黄身は成り行き任せである fact3: なんらかのものは自問するかもしくは発揮し易い fact4: 「「抑鬱でなくて行き難くない」ということは本当でない」ものはある fact5: あの電気毛布は発揮し易いということはない fact6: 「「抑鬱でないしさらに行き難くない」物はある」ということは確かである fact7: もし「タバコ盆な」物があるならあの電気毛布は発揮し易くない fact8: もしなんらかの物が連結調整勘定でないがそれがどでかいとすれば自問しない fact9: もし「タバコ盆である」ものはあれば「「あの電気毛布は自問するかあるいは発揮し易いかどちらもである」ということは成り立たない」ということは事実だ fact10: もし仮に「「自問するかまたは発揮し易いかまたは両方である」ということは事実であるということはない」物があるとすればこの調査対象者は貧しない fact11: 仮に「その完熟堆肥は発揮し易いけれど金属作りだということはない」ということは間違いであるとすればこの黄身はタバコ盆だ fact12: もしも「「抑鬱でなくてしかも行き難くない」ということは嘘な」ものがあるとするとこの黄身は成り行き任せである fact13: 「「抑鬱でないし行き難い」ということは事実と異なる」ものはある fact14: 発揮し易くない物はある fact15: ある物は自問しない fact16: 「「抑鬱であるしまた行き難くない」ということは偽である」物はある fact17: もしもこの黄身が成り行き任せであるとすればその完熟堆肥はタバコ盆だ fact18: この黄身がタバコ盆であるがしかし自問しないとしたらこの調査対象者はタバコ盆でない ; $hypothesis$ = この調査対象者は貧し ; $proof$ = 
fact4 & fact12 -> int1: この黄身は成り行き任せだ; int1 & fact17 -> int2: その完熟堆肥はタバコ盆だ; int2 -> int3: とある物はタバコ盆だ; int3 & fact9 -> int4: 「あの電気毛布は自問するかそれは発揮し易い」ということは成り立たない; int4 -> int5: 「「自問するかもしくは発揮し易い」ということは偽である」物はある; int5 & fact10 -> hypothesis; __DISPROVED__
事実1: もし「その完熟堆肥は成り行き任せである」ということは正しいならばこの黄身は両立出来る
事実2: 「抑鬱な」ものがあるならばあの黄身は成り行き任せである
事実3: なんらかのものは自問するかもしくは発揮し易い
事実4: 「「抑鬱でなくて行き難くない」ということは本当でない」ものはある
事実5: あの電気毛布は発揮し易いということはない
事実6: 「「抑鬱でないしさらに行き難くない」物はある」ということは確かである
事実7: もし「タバコ盆な」物があるならあの電気毛布は発揮し易くない
事実8: もしなんらかの物が連結調整勘定でないがそれがどでかいとすれば自問しない
事実9: もし「タバコ盆である」ものはあれば「「あの電気毛布は自問するかあるいは発揮し易いかどちらもである」ということは成り立たない」ということは事実だ
事実10: もし仮に「「自問するかまたは発揮し易いかまたは両方である」ということは事実であるということはない」物があるとすればこの調査対象者は貧しない
事実11: 仮に「その完熟堆肥は発揮し易いけれど金属作りだということはない」ということは間違いであるとすればこの黄身はタバコ盆だ
事実12: もしも「「抑鬱でなくてしかも行き難くない」ということは嘘な」ものがあるとするとこの黄身は成り行き任せである
事実13: 「「抑鬱でないし行き難い」ということは事実と異なる」ものはある
事実14: 発揮し易くない物はある
事実15: ある物は自問しない
事実16: 「「抑鬱であるしまた行き難くない」ということは偽である」物はある
事実17: もしもこの黄身が成り行き任せであるとすればその完熟堆肥はタバコ盆だ
事実18: この黄身がタバコ盆であるがしかし自問しないとしたらこの調査対象者はタバコ盆でない

仮説: この調査対象者は貧し
1. 事実4と事実12から、推論1: "この黄身は成り行き任せだ"が導かれる
2. 推論1と事実17から、推論2: "その完熟堆肥はタバコ盆だ"が導かれる
3. 推論2から、推論3: "とある物はタバコ盆だ"が導かれる
4. 推論3と事実9から、推論4: "「あの電気毛布は自問するかそれは発揮し易い」ということは成り立たない"が導かれる
5. 推論4から、推論5: "「「自問するかもしくは発揮し易い」ということは偽である」物はある"が導かれる
6. 推論5と事実10から、仮説が否定される

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