「あのスペイン国王は厚ぼったい」ということは正しい
fact1: もしもなんらかのものは受け渡ししないならば「慣用だということはないかまたは付け始めないかもしくは両方ともである」ということは間違いである fact2: 「「成育するがしかし代償しない」ということは間違いである」物はある fact3: なんらかの物が成育するとすればあのスペイン国王は落ち掛からない fact4: 「「成育しないしおまけに代償しない」ということは誤っている」物があるならあのスペイン国王は厚ぼったくない fact5: 仮に招き易くない物が哀れっぽくないならば受け渡ししない fact6: もしもこの発行済み株式総数が慣用であるならばその赤鉢巻きは慣用である fact7: あの高血圧は読み難くて加えて働き易い fact8: その赤鉢巻きは慣用であるとすればそれは見辛い fact9: 「「消費者団体だし装備するということはない」ということは間違っている」ものはある fact10: もし仮になんらかのものが成育するとしたらあのスペイン国王は厚ぼったいということはない fact11: もしもなにかは嫉まないならばそれは冬らしいし加えて踏めない fact12: もし冬らしいものが踏めないならば証するということはない fact13: もし何かは証しないならそれは昼食時であるかあるいは灰色っぽい fact14: もしも「あの乳腺辺縁部は慣用でないか付け始めないかどちらもである」ということは間違っているならばあの発行済み株式総数は慣用である fact15: もしなんらかのものが根気良いとすればそれは招き易くないしおまけにそれは哀れっぽくない fact16: 「「成育しなくてその上代償するということはない」ということは事実と異なる」ものはある fact17: 「「成育しないが代償する」ということは嘘である」物はある fact18: もし「見辛いものはある」ということは確かであるならあのスペイン国王は嫉むということはないがしかし最終弁済期である fact19: もし仮にあの高血圧が読み難いならばあの乳腺辺縁部は根気良い fact20: なんらかの物は昼食時だとしたら「厚ぼったい」ということは嘘でない fact21: 何らかの物は成育しなくてそれに代償しない
fact16 & fact4 -> hypothesis;
あのスペイン国王は厚ぼったい
fact29 -> int1: もし仮にあのスペイン国王が証しないとするとそれは昼食時であるかあるいは灰色っぽい; fact33 -> int2: あのスペイン国王は冬らしいけれど踏めないとしたら証しない; fact28 -> int3: もしあのスペイン国王が嫉まないとするとそれは冬らしい一方で踏めない; fact22 -> int4: 仮にあの乳腺辺縁部は受け渡ししないならば「それは慣用でないかあるいは付け始めるということはないかどちらもだ」ということは間違っている; fact34 -> int5: 仮にあの乳腺辺縁部は招き易くなくてかつ哀れっぽくないとすれば受け渡しするということはない; fact25 -> int6: 仮にあの乳腺辺縁部が根気良いとすれば招き易くないし哀れっぽくない; fact23 -> int7: あの高血圧は読み難い; fact32 & int7 -> int8: 「あの乳腺辺縁部は根気良い」ということは確かである; int6 & int8 -> int9: あの乳腺辺縁部は招き易くないしその上哀れっぽくない; int5 & int9 -> int10: あの乳腺辺縁部は受け渡ししない; int4 & int10 -> int11: 「あの乳腺辺縁部は慣用でないかまたはそれは付け始めない」ということは成り立たない; fact24 & int11 -> int12: この発行済み株式総数は慣用だ; fact30 & int12 -> int13: その赤鉢巻きは慣用だ; fact26 & int13 -> int14: その赤鉢巻きは見辛い; int14 -> int15: 「見辛い」ものはある; int15 & fact31 -> int16: あのスペイン国王は嫉むということはないけど最終弁済期である; int16 -> int17: あのスペイン国王は嫉まない; int3 & int17 -> int18: あのスペイン国王は冬らしいが踏めない; int2 & int18 -> int19: あのスペイン国王は証しない; int1 & int19 -> int20: あのスペイン国王は昼食時であるかまたは灰色っぽい; fact27 -> int21: 「あのスペイン国王が昼食時であるとするとあのスペイン国王は厚ぼったい」ということは真実である;
$facts$ = fact1: もしもなんらかのものは受け渡ししないならば「慣用だということはないかまたは付け始めないかもしくは両方ともである」ということは間違いである fact2: 「「成育するがしかし代償しない」ということは間違いである」物はある fact3: なんらかの物が成育するとすればあのスペイン国王は落ち掛からない fact4: 「「成育しないしおまけに代償しない」ということは誤っている」物があるならあのスペイン国王は厚ぼったくない fact5: 仮に招き易くない物が哀れっぽくないならば受け渡ししない fact6: もしもこの発行済み株式総数が慣用であるならばその赤鉢巻きは慣用である fact7: あの高血圧は読み難くて加えて働き易い fact8: その赤鉢巻きは慣用であるとすればそれは見辛い fact9: 「「消費者団体だし装備するということはない」ということは間違っている」ものはある fact10: もし仮になんらかのものが成育するとしたらあのスペイン国王は厚ぼったいということはない fact11: もしもなにかは嫉まないならばそれは冬らしいし加えて踏めない fact12: もし冬らしいものが踏めないならば証するということはない fact13: もし何かは証しないならそれは昼食時であるかあるいは灰色っぽい fact14: もしも「あの乳腺辺縁部は慣用でないか付け始めないかどちらもである」ということは間違っているならばあの発行済み株式総数は慣用である fact15: もしなんらかのものが根気良いとすればそれは招き易くないしおまけにそれは哀れっぽくない fact16: 「「成育しなくてその上代償するということはない」ということは事実と異なる」ものはある fact17: 「「成育しないが代償する」ということは嘘である」物はある fact18: もし「見辛いものはある」ということは確かであるならあのスペイン国王は嫉むということはないがしかし最終弁済期である fact19: もし仮にあの高血圧が読み難いならばあの乳腺辺縁部は根気良い fact20: なんらかの物は昼食時だとしたら「厚ぼったい」ということは嘘でない fact21: 何らかの物は成育しなくてそれに代償しない ; $hypothesis$ = 「あのスペイン国王は厚ぼったい」ということは正しい ; $proof$ = 
fact16 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものは受け渡ししないならば「慣用だということはないかまたは付け始めないかもしくは両方ともである」ということは間違いである
事実2: 「「成育するがしかし代償しない」ということは間違いである」物はある
事実3: なんらかの物が成育するとすればあのスペイン国王は落ち掛からない
事実4: 「「成育しないしおまけに代償しない」ということは誤っている」物があるならあのスペイン国王は厚ぼったくない
事実5: 仮に招き易くない物が哀れっぽくないならば受け渡ししない
事実6: もしもこの発行済み株式総数が慣用であるならばその赤鉢巻きは慣用である
事実7: あの高血圧は読み難くて加えて働き易い
事実8: その赤鉢巻きは慣用であるとすればそれは見辛い
事実9: 「「消費者団体だし装備するということはない」ということは間違っている」ものはある
事実10: もし仮になんらかのものが成育するとしたらあのスペイン国王は厚ぼったいということはない
事実11: もしもなにかは嫉まないならばそれは冬らしいし加えて踏めない
事実12: もし冬らしいものが踏めないならば証するということはない
事実13: もし何かは証しないならそれは昼食時であるかあるいは灰色っぽい
事実14: もしも「あの乳腺辺縁部は慣用でないか付け始めないかどちらもである」ということは間違っているならばあの発行済み株式総数は慣用である
事実15: もしなんらかのものが根気良いとすればそれは招き易くないしおまけにそれは哀れっぽくない
事実16: 「「成育しなくてその上代償するということはない」ということは事実と異なる」ものはある
事実17: 「「成育しないが代償する」ということは嘘である」物はある
事実18: もし「見辛いものはある」ということは確かであるならあのスペイン国王は嫉むということはないがしかし最終弁済期である
事実19: もし仮にあの高血圧が読み難いならばあの乳腺辺縁部は根気良い
事実20: なんらかの物は昼食時だとしたら「厚ぼったい」ということは嘘でない
事実21: 何らかの物は成育しなくてそれに代償しない

仮説: 「あのスペイン国王は厚ぼったい」ということは正しい
1. 事実16と事実4から、仮説が否定される

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