この物性値は閻魔大王である
fact1: 仮に気持ち良くないものが閻魔大王ならそれは悪だ fact2: もし「この物性値は改宗する」ということは真実だとすると「ヘモグロビン値であるかもしくは渋くないかまたは両方だ」ということは成り立つということはない fact3: もしなにがしかのものは気持ち良いとしたら「薄青いかもしくは悪でないか両方ともである」ということは嘘だ fact4: 仮にその大隊が成ずないとするとこの女子アナは閻魔大王であるしおまけに設置出来る fact5: 仮にこの女子アナが透かし見ないならばあのＡＬＥＣは許認可だがしかしむかつかない fact6: 「この女子アナは暗唱するがしかし繁殖し易くない」ということは事実と異なるとしたらそれは透かし見ない fact7: もし何らかのものは設置出来ないとしたら「それは気持ち良くないし閻魔大王である」ということは本当だ fact8: もし「何かはむかつかないし許認可でない」ということは間違いだとしたら成ずない fact9: もし仮になにかは暗唱しないならば透かし見るし繁殖し易い fact10: もし「この物性値は薄青いかもしくはそれは悪でない」ということは成り立つということはないならそれは閻魔大王でない fact11: この立て板は御帰還である fact12: 許認可は設置出来ないが成ず fact13: とある物は無明であるならば「子供っぽいかまたは各検討会でないかまたはどちらもである」ということは偽である fact14: その大隊が御帰還だし剥がれ易いとすればそれは暗唱しない fact15: その兄弟弟子は剥がれ易い fact16: 「この物性値は気持ち良い」ということは事実であるならばそれは薄青くない fact17: 仮になにがしかのものは透かし見るとすると「それはむかつかなくてその上許認可でない」ということは誤りだ fact18: もしこの立て板が御帰還であるならばその大隊は御帰還である fact19: 気持ち良いものは薄青くない fact20: もしその兄弟弟子が剥がれ易いとしたらその大隊は剥がれ易い fact21: もしもなにかは閻魔大王であるかあるいは気持ち良くないかあるいは両方であるとしたら「閻魔大王でない」ということは成り立たない fact22: この物性値は気持ち良い
fact3 -> int1: もしも「この物性値は気持ち良い」ということは事実であるなら「薄青いかまたは悪でないかもしくはどちらもである」ということは偽だ; int1 & fact22 -> int2: 「この物性値は薄青いかまたはそれは悪であるということはない」ということは成り立つということはない; int2 & fact10 -> hypothesis;
この物性値は閻魔大王だ
fact27 -> int3: この物性値は閻魔大王であるかあるいは気持ち良いということはないか両方であるとするとそれは閻魔大王である; fact25 -> int4: 仮に「その大隊がむかつくということはないしさらに許認可でない」ということは偽であるならばそれは成ずない; fact32 -> int5: もしもその大隊は透かし見るとすれば「それはむかつかなくて許認可であるということはない」ということは偽である; fact28 -> int6: もしその大隊が暗唱しないならそれは透かし見るしまたそれは繁殖し易い; fact29 & fact23 -> int7: その大隊は御帰還である; fact31 & fact30 -> int8: その大隊は剥がれ易い; int7 & int8 -> int9: その大隊は御帰還であるしそれは剥がれ易い; fact26 & int9 -> int10: 「その大隊は暗唱しない」ということは成り立つ; int6 & int10 -> int11: その大隊は透かし見るしおまけにそれは繁殖し易い; int11 -> int12: その大隊は透かし見る; int5 & int12 -> int13: 「その大隊はむかつかなくてそれは許認可だということはない」ということは成り立たない; int4 & int13 -> int14: その大隊は成ずない; fact24 & int14 -> int15: この女子アナは閻魔大王だしそれに設置出来る; int15 -> int16: この女子アナは閻魔大王である; int16 -> int17: とあるものは閻魔大王である;
$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$ = 
fact3 -> int1: もしも「この物性値は気持ち良い」ということは事実であるなら「薄青いかまたは悪でないかもしくはどちらもである」ということは偽だ; int1 & fact22 -> int2: 「この物性値は薄青いかまたはそれは悪であるということはない」ということは成り立つということはない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮に気持ち良くないものが閻魔大王ならそれは悪だ
事実2: もし「この物性値は改宗する」ということは真実だとすると「ヘモグロビン値であるかもしくは渋くないかまたは両方だ」ということは成り立つということはない
事実3: もしなにがしかのものは気持ち良いとしたら「薄青いかもしくは悪でないか両方ともである」ということは嘘だ
事実4: 仮にその大隊が成ずないとするとこの女子アナは閻魔大王であるしおまけに設置出来る
事実5: 仮にこの女子アナが透かし見ないならばあのＡＬＥＣは許認可だがしかしむかつかない
事実6: 「この女子アナは暗唱するがしかし繁殖し易くない」ということは事実と異なるとしたらそれは透かし見ない
事実7: もし何らかのものは設置出来ないとしたら「それは気持ち良くないし閻魔大王である」ということは本当だ
事実8: もし「何かはむかつかないし許認可でない」ということは間違いだとしたら成ずない
事実9: もし仮になにかは暗唱しないならば透かし見るし繁殖し易い
事実10: もし「この物性値は薄青いかもしくはそれは悪でない」ということは成り立つということはないならそれは閻魔大王でない
事実11: この立て板は御帰還である
事実12: 許認可は設置出来ないが成ず
事実13: とある物は無明であるならば「子供っぽいかまたは各検討会でないかまたはどちらもである」ということは偽である
事実14: その大隊が御帰還だし剥がれ易いとすればそれは暗唱しない
事実15: その兄弟弟子は剥がれ易い
事実16: 「この物性値は気持ち良い」ということは事実であるならばそれは薄青くない
事実17: 仮になにがしかのものは透かし見るとすると「それはむかつかなくてその上許認可でない」ということは誤りだ
事実18: もしこの立て板が御帰還であるならばその大隊は御帰還である
事実19: 気持ち良いものは薄青くない
事実20: もしその兄弟弟子が剥がれ易いとしたらその大隊は剥がれ易い
事実21: もしもなにかは閻魔大王であるかあるいは気持ち良くないかあるいは両方であるとしたら「閻魔大王でない」ということは成り立たない
事実22: この物性値は気持ち良い

仮説: この物性値は閻魔大王である
1. 事実3から、推論1: "もしも「この物性値は気持ち良い」ということは事実であるなら「薄青いかまたは悪でないかもしくはどちらもである」ということは偽だ"が導かれる
2. 推論1と事実22から、推論2: "「この物性値は薄青いかまたはそれは悪であるということはない」ということは成り立つということはない"が導かれる
3. 推論2と事実10から、仮説が否定される

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