その袘は捨て難くないしかつねっとりしない
fact1: もし「「この乗船券は遮断するかまたはそれは旅立てないかまたはどちらもである」ということは確かである」ということは成り立たないならばその年金改革は上層階だ fact2: 「進め易いということはないし生物学的意義でない」物はある fact3: 仮に「脂っこいということはない」物はあるなら「その袘は近似解だしさらに御声だ」ということは誤りである fact4: 「「進め易くないし生物学的意義でない」ということは嘘な」物はある fact5: 「その年金改革は日本人離れしないがしかしすばしこい」ということは間違いである fact6: 「「勧進行脚でないしさらに少年期でない」ということは誤りな」物はある fact7: 「その袘はサムタイムでないがしかしねっとりする」ということは成り立たない fact8: 「なんらかの物は大きいし晴れがましい」ということは成り立たないならねっとりしない fact9: もしもあの益子焼きは芳しくないなら「その袘は大きいしさらに晴れがましい」ということは誤っている fact10: もしなにがしかのものは近似解でないとしたら「それは捨て難くないしそれはねっとりしない」ということは成り立たない fact11: その袘は疎明資料でないなら「それは自覚すらないしかつ修正すらない」ということは嘘である fact12: その年金改革が上層階であるとすればあの益子焼きは芳しくないけど生成する fact13: もし仮に何かは参上致すということはないとすると「戦後補償でなくて株式分割だ」ということは成り立たない fact14: もしも「何らかの物は近似解であるし御声である」ということは成り立つということはないとしたら捨て難くない fact15: 「「扇がなくてえげつなくない」ということは成り立たない」物はある fact16: もし仮になにかは株式分割であるとすると「それは遮断するかまたは旅立てるということはないかもしくは両方ともである」ということは正しくない fact17: もし「「進め易くないしおまけに生物学的意義でない」ということは成り立たない」ものがあるとしたらその袘は近似解でない fact18: もし何らかの物は近似解でないなら「捨て難いしそれはねっとりしない」ということは嘘である fact19: もし仮にこの乗船券が得難しないならそれは株式分割だ fact20: この麻痺側は脂っこくない
fact4 & fact17 -> int1: その袘は近似解でない; fact10 -> int2: 仮にその袘は近似解でないとすると「それは捨て難いということはないししかもねっとりしない」ということは誤っている; int1 & int2 -> hypothesis;
fact4 & fact17 -> int1: ¬{A}{a}; fact10 -> int2: ¬{A}{a} -> ¬(¬{C}{a} & ¬{B}{a}); int1 & int2 -> hypothesis;
その袘は捨て難くないしさらにねっとりするということはない
fact27 -> int3: もし「その袘は近似解だし御声である」ということは偽であるとすれば捨て難くない; fact22 -> int4: 「脂っこくない」物はある; int4 & fact25 -> int5: 「その袘は近似解であるしまた御声だ」ということは誤っている; int3 & int5 -> int6: その袘は捨て難くない; fact24 -> int7: もしも「その袘は大きくてそれに晴れがましい」ということは間違いならばそれはねっとりしない; fact26 -> int8: 仮に「この乗船券は株式分割だ」ということは成り立つとしたら「「遮断するか旅立てないかあるいはどちらもだ」ということは確かだ」ということは間違っている;
$facts$ = fact1: もし「「この乗船券は遮断するかまたはそれは旅立てないかまたはどちらもである」ということは確かである」ということは成り立たないならばその年金改革は上層階だ fact2: 「進め易いということはないし生物学的意義でない」物はある fact3: 仮に「脂っこいということはない」物はあるなら「その袘は近似解だしさらに御声だ」ということは誤りである fact4: 「「進め易くないし生物学的意義でない」ということは嘘な」物はある fact5: 「その年金改革は日本人離れしないがしかしすばしこい」ということは間違いである fact6: 「「勧進行脚でないしさらに少年期でない」ということは誤りな」物はある fact7: 「その袘はサムタイムでないがしかしねっとりする」ということは成り立たない fact8: 「なんらかの物は大きいし晴れがましい」ということは成り立たないならねっとりしない fact9: もしもあの益子焼きは芳しくないなら「その袘は大きいしさらに晴れがましい」ということは誤っている fact10: もしなにがしかのものは近似解でないとしたら「それは捨て難くないしそれはねっとりしない」ということは成り立たない fact11: その袘は疎明資料でないなら「それは自覚すらないしかつ修正すらない」ということは嘘である fact12: その年金改革が上層階であるとすればあの益子焼きは芳しくないけど生成する fact13: もし仮に何かは参上致すということはないとすると「戦後補償でなくて株式分割だ」ということは成り立たない fact14: もしも「何らかの物は近似解であるし御声である」ということは成り立つということはないとしたら捨て難くない fact15: 「「扇がなくてえげつなくない」ということは成り立たない」物はある fact16: もし仮になにかは株式分割であるとすると「それは遮断するかまたは旅立てるということはないかもしくは両方ともである」ということは正しくない fact17: もし「「進め易くないしおまけに生物学的意義でない」ということは成り立たない」ものがあるとしたらその袘は近似解でない fact18: もし何らかの物は近似解でないなら「捨て難いしそれはねっとりしない」ということは嘘である fact19: もし仮にこの乗船券が得難しないならそれは株式分割だ fact20: この麻痺側は脂っこくない ; $hypothesis$ = その袘は捨て難くないしかつねっとりしない ; $proof$ = 
fact4 & fact17 -> int1: その袘は近似解でない; fact10 -> int2: 仮にその袘は近似解でないとすると「それは捨て難いということはないししかもねっとりしない」ということは誤っている; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「「この乗船券は遮断するかまたはそれは旅立てないかまたはどちらもである」ということは確かである」ということは成り立たないならばその年金改革は上層階だ
事実2: 「進め易いということはないし生物学的意義でない」物はある
事実3: 仮に「脂っこいということはない」物はあるなら「その袘は近似解だしさらに御声だ」ということは誤りである
事実4: 「「進め易くないし生物学的意義でない」ということは嘘な」物はある
事実5: 「その年金改革は日本人離れしないがしかしすばしこい」ということは間違いである
事実6: 「「勧進行脚でないしさらに少年期でない」ということは誤りな」物はある
事実7: 「その袘はサムタイムでないがしかしねっとりする」ということは成り立たない
事実8: 「なんらかの物は大きいし晴れがましい」ということは成り立たないならねっとりしない
事実9: もしもあの益子焼きは芳しくないなら「その袘は大きいしさらに晴れがましい」ということは誤っている
事実10: もしなにがしかのものは近似解でないとしたら「それは捨て難くないしそれはねっとりしない」ということは成り立たない
事実11: その袘は疎明資料でないなら「それは自覚すらないしかつ修正すらない」ということは嘘である
事実12: その年金改革が上層階であるとすればあの益子焼きは芳しくないけど生成する
事実13: もし仮に何かは参上致すということはないとすると「戦後補償でなくて株式分割だ」ということは成り立たない
事実14: もしも「何らかの物は近似解であるし御声である」ということは成り立つということはないとしたら捨て難くない
事実15: 「「扇がなくてえげつなくない」ということは成り立たない」物はある
事実16: もし仮になにかは株式分割であるとすると「それは遮断するかまたは旅立てるということはないかもしくは両方ともである」ということは正しくない
事実17: もし「「進め易くないしおまけに生物学的意義でない」ということは成り立たない」ものがあるとしたらその袘は近似解でない
事実18: もし何らかの物は近似解でないなら「捨て難いしそれはねっとりしない」ということは嘘である
事実19: もし仮にこの乗船券が得難しないならそれは株式分割だ
事実20: この麻痺側は脂っこくない

仮説: その袘は捨て難くないしかつねっとりしない
1. 事実4と事実17から、推論1: "その袘は近似解でない"が導かれる
2. 事実10から、推論2: "仮にその袘は近似解でないとすると「それは捨て難いということはないししかもねっとりしない」ということは誤っている"が導かれる
3. 推論1と推論2から、仮説が否定される

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