この証明書は若々しかない
fact1: とある物がラインアップするならそれは判読する fact2: もしこの御託が判読するならばあの眠芽は手放せる fact3: もし「とあるものは黴臭くない一方でそれは迎合する」ということは偽であるならそれは迎合しない fact4: 「あの年創業は若々しかないかあるいは黄色っぽいということはないかまたは両方だ」ということは誤っている fact5: もしこの先進事例は聞き間違うなら「妻帯する」ということは本当である fact6: 「あのＡＣＴは慎ましくなくて御紹介致さない」ということは成り立たない fact7: この先進事例は聞き間違う fact8: もし仮にこの先進事例が焦げ臭くないとしたらこの証明書は若々しい fact9: もし「「あの年創業は若々しかないかもしくは黄色っぽくないかあるいは両方ともである」ということは偽でない」ということは成り立たないならその眠芽は若々しいということはない fact10: この御託は映すしまたそれは座る fact11: もし仮にこの先進事例が迎合しない一方でそれが妻帯するとしたらあの年創業は平安末期でない fact12: もし仮にこの先進事例は削減するなら「それが黴臭くないしさらにそれは迎合する」ということは成り立つということはない fact13: 焦げ臭くない物は手放せるしまた判読する fact14: もし仮にこの御託が手放せるとしたらあの年創業は判読しない fact15: 「この御託は焦げ臭いかもしくはそれはラインアップしない」ということは成り立たないとすれば「この証明書は焦げ臭くない」ということは真実だ fact16: もしもとあるものが映さないけど座るとすると若々しかない fact17: もしとある物は若々しかないとすれば「座るし焦げ臭い」ということは真実だ fact18: あの年創業が判読しないとしたらこの先進事例は焦げ臭くない fact19: もし仮になにがしかの物はレギュラー出演するなら「それは焦げ臭いかラインアップするということはないかどちらもである」ということは間違っている fact20: もし「「あのＡＣＴは慎ましくないし更に御紹介致さない」ということは成り立たない」ということは成り立てば「この先進事例は削減する」ということは真実だ fact21: もしもなにがしかの物が座るとすれば手放せる
fact10 -> int1: この御託は座る; fact21 -> int2: 仮にこの御託が座るとしたらそれは手放せる; int1 & int2 -> int3: この御託は手放せる; int3 & fact14 -> int4: 「あの年創業は判読する」ということは間違っている; int4 & fact18 -> int5: この先進事例は焦げ臭いということはない; int5 & fact8 -> hypothesis;
その眠芽は映すということはない
fact24 -> int6: もしもその眠芽が若々しかないとしたらそれは座るし更に焦げ臭い; fact26 & fact25 -> int7: その眠芽は若々しかない; int6 & int7 -> int8: その眠芽は座るし更に焦げ臭い; int8 -> int9: その眠芽は座る; fact23 -> int10: 仮にこの御託がラインアップするとするとそれは判読する;
$facts$ = fact1: とある物がラインアップするならそれは判読する fact2: もしこの御託が判読するならばあの眠芽は手放せる fact3: もし「とあるものは黴臭くない一方でそれは迎合する」ということは偽であるならそれは迎合しない fact4: 「あの年創業は若々しかないかあるいは黄色っぽいということはないかまたは両方だ」ということは誤っている fact5: もしこの先進事例は聞き間違うなら「妻帯する」ということは本当である fact6: 「あのＡＣＴは慎ましくなくて御紹介致さない」ということは成り立たない fact7: この先進事例は聞き間違う fact8: もし仮にこの先進事例が焦げ臭くないとしたらこの証明書は若々しい fact9: もし「「あの年創業は若々しかないかもしくは黄色っぽくないかあるいは両方ともである」ということは偽でない」ということは成り立たないならその眠芽は若々しいということはない fact10: この御託は映すしまたそれは座る fact11: もし仮にこの先進事例が迎合しない一方でそれが妻帯するとしたらあの年創業は平安末期でない fact12: もし仮にこの先進事例は削減するなら「それが黴臭くないしさらにそれは迎合する」ということは成り立つということはない fact13: 焦げ臭くない物は手放せるしまた判読する fact14: もし仮にこの御託が手放せるとしたらあの年創業は判読しない fact15: 「この御託は焦げ臭いかもしくはそれはラインアップしない」ということは成り立たないとすれば「この証明書は焦げ臭くない」ということは真実だ fact16: もしもとあるものが映さないけど座るとすると若々しかない fact17: もしとある物は若々しかないとすれば「座るし焦げ臭い」ということは真実だ fact18: あの年創業が判読しないとしたらこの先進事例は焦げ臭くない fact19: もし仮になにがしかの物はレギュラー出演するなら「それは焦げ臭いかラインアップするということはないかどちらもである」ということは間違っている fact20: もし「「あのＡＣＴは慎ましくないし更に御紹介致さない」ということは成り立たない」ということは成り立てば「この先進事例は削減する」ということは真実だ fact21: もしもなにがしかの物が座るとすれば手放せる ; $hypothesis$ = この証明書は若々しかない ; $proof$ = 
fact10 -> int1: この御託は座る; fact21 -> int2: 仮にこの御託が座るとしたらそれは手放せる; int1 & int2 -> int3: この御託は手放せる; int3 & fact14 -> int4: 「あの年創業は判読する」ということは間違っている; int4 & fact18 -> int5: この先進事例は焦げ臭いということはない; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: とある物がラインアップするならそれは判読する
事実2: もしこの御託が判読するならばあの眠芽は手放せる
事実3: もし「とあるものは黴臭くない一方でそれは迎合する」ということは偽であるならそれは迎合しない
事実4: 「あの年創業は若々しかないかあるいは黄色っぽいということはないかまたは両方だ」ということは誤っている
事実5: もしこの先進事例は聞き間違うなら「妻帯する」ということは本当である
事実6: 「あのＡＣＴは慎ましくなくて御紹介致さない」ということは成り立たない
事実7: この先進事例は聞き間違う
事実8: もし仮にこの先進事例が焦げ臭くないとしたらこの証明書は若々しい
事実9: もし「「あの年創業は若々しかないかもしくは黄色っぽくないかあるいは両方ともである」ということは偽でない」ということは成り立たないならその眠芽は若々しいということはない
事実10: この御託は映すしまたそれは座る
事実11: もし仮にこの先進事例が迎合しない一方でそれが妻帯するとしたらあの年創業は平安末期でない
事実12: もし仮にこの先進事例は削減するなら「それが黴臭くないしさらにそれは迎合する」ということは成り立つということはない
事実13: 焦げ臭くない物は手放せるしまた判読する
事実14: もし仮にこの御託が手放せるとしたらあの年創業は判読しない
事実15: 「この御託は焦げ臭いかもしくはそれはラインアップしない」ということは成り立たないとすれば「この証明書は焦げ臭くない」ということは真実だ
事実16: もしもとあるものが映さないけど座るとすると若々しかない
事実17: もしとある物は若々しかないとすれば「座るし焦げ臭い」ということは真実だ
事実18: あの年創業が判読しないとしたらこの先進事例は焦げ臭くない
事実19: もし仮になにがしかの物はレギュラー出演するなら「それは焦げ臭いかラインアップするということはないかどちらもである」ということは間違っている
事実20: もし「「あのＡＣＴは慎ましくないし更に御紹介致さない」ということは成り立たない」ということは成り立てば「この先進事例は削減する」ということは真実だ
事実21: もしもなにがしかの物が座るとすれば手放せる

仮説: この証明書は若々しかない
1. 事実10から、推論1: "この御託は座る"が導かれる
2. 事実21から、推論2: "仮にこの御託が座るとしたらそれは手放せる"が導かれる
3. 推論1と推論2から、推論3: "この御託は手放せる"が導かれる
4. 推論3と事実14から、推論4: "「あの年創業は判読する」ということは間違っている"が導かれる
5. 推論4と事実18から、推論5: "この先進事例は焦げ臭いということはない"が導かれる
6. 推論5と事実8から、仮説が否定される

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