この紫外線吸収剤は痛痒だ
fact1: もしその御宿が仕舞うとしたらその心臓麻痺は物憂い fact2: 「「読み易いけど揺るがない」ということは間違いである」ものはある fact3: もし仮にその御宿が物憂いかまたはそれが仕舞うかどちらもならこの紫外線吸収剤は痛痒でない fact4: もし仮にその心臓麻痺が忍耐強くて充足するならこのクラブマン・シリーズは力学試験である fact5: あの樽が充足しないとするとその心臓麻痺は忍耐強いが充足しない fact6: 忍耐強くないものは仕舞うしまた充足する fact7: 力学試験は崩す fact8: あの大手メーカーは剥き出すがしかしだらし無いということはない fact9: このクラブマン・シリーズが崩すならその御宿は仕舞う fact10: 仮にとある物が忍耐強くないとしたら痛痒であるか充足する fact11: 仮に「「読み易い一方で揺るがない」ということは間違っている」物があるとしたらあの樽は充足しない fact12: 仮にその心臓麻痺が忍耐強いがしかし充足しないとすればこのクラブマン・シリーズは力学試験である
fact2 & fact11 -> int1: あの樽は充足しない; int1 & fact5 -> int2: その心臓麻痺は忍耐強いけれど充足しない; int2 & fact12 -> int3: 「このクラブマン・シリーズは力学試験だ」ということは確かだ; fact7 -> int4: もし仮にこのクラブマン・シリーズが力学試験だとしたらそれは崩す; int3 & int4 -> int5: このクラブマン・シリーズは崩す; int5 & fact9 -> int6: その御宿は仕舞う; int6 -> int7: その御宿は物憂いかまたは仕舞うかどちらもである; int7 & fact3 -> hypothesis;
その二十五Ｄは仕舞う
fact13 -> int8: もし仮にその二十五Ｄが忍耐強くないならばそれは仕舞うし加えて充足する;
$facts$ = fact1: もしその御宿が仕舞うとしたらその心臓麻痺は物憂い fact2: 「「読み易いけど揺るがない」ということは間違いである」ものはある fact3: もし仮にその御宿が物憂いかまたはそれが仕舞うかどちらもならこの紫外線吸収剤は痛痒でない fact4: もし仮にその心臓麻痺が忍耐強くて充足するならこのクラブマン・シリーズは力学試験である fact5: あの樽が充足しないとするとその心臓麻痺は忍耐強いが充足しない fact6: 忍耐強くないものは仕舞うしまた充足する fact7: 力学試験は崩す fact8: あの大手メーカーは剥き出すがしかしだらし無いということはない fact9: このクラブマン・シリーズが崩すならその御宿は仕舞う fact10: 仮にとある物が忍耐強くないとしたら痛痒であるか充足する fact11: 仮に「「読み易い一方で揺るがない」ということは間違っている」物があるとしたらあの樽は充足しない fact12: 仮にその心臓麻痺が忍耐強いがしかし充足しないとすればこのクラブマン・シリーズは力学試験である ; $hypothesis$ = この紫外線吸収剤は痛痒だ ; $proof$ = 
fact2 & fact11 -> int1: あの樽は充足しない; int1 & fact5 -> int2: その心臓麻痺は忍耐強いけれど充足しない; int2 & fact12 -> int3: 「このクラブマン・シリーズは力学試験だ」ということは確かだ; fact7 -> int4: もし仮にこのクラブマン・シリーズが力学試験だとしたらそれは崩す; int3 & int4 -> int5: このクラブマン・シリーズは崩す; int5 & fact9 -> int6: その御宿は仕舞う; int6 -> int7: その御宿は物憂いかまたは仕舞うかどちらもである; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: もしその御宿が仕舞うとしたらその心臓麻痺は物憂い
事実2: 「「読み易いけど揺るがない」ということは間違いである」ものはある
事実3: もし仮にその御宿が物憂いかまたはそれが仕舞うかどちらもならこの紫外線吸収剤は痛痒でない
事実4: もし仮にその心臓麻痺が忍耐強くて充足するならこのクラブマン・シリーズは力学試験である
事実5: あの樽が充足しないとするとその心臓麻痺は忍耐強いが充足しない
事実6: 忍耐強くないものは仕舞うしまた充足する
事実7: 力学試験は崩す
事実8: あの大手メーカーは剥き出すがしかしだらし無いということはない
事実9: このクラブマン・シリーズが崩すならその御宿は仕舞う
事実10: 仮にとある物が忍耐強くないとしたら痛痒であるか充足する
事実11: 仮に「「読み易い一方で揺るがない」ということは間違っている」物があるとしたらあの樽は充足しない
事実12: 仮にその心臓麻痺が忍耐強いがしかし充足しないとすればこのクラブマン・シリーズは力学試験である

仮説: この紫外線吸収剤は痛痒だ
1. 事実2と事実11から、推論1: "あの樽は充足しない"が導かれる
2. 推論1と事実5から、推論2: "その心臓麻痺は忍耐強いけれど充足しない"が導かれる
3. 推論2と事実12から、推論3: "「このクラブマン・シリーズは力学試験だ」ということは確かだ"が導かれる
4. 事実7から、推論4: "もし仮にこのクラブマン・シリーズが力学試験だとしたらそれは崩す"が導かれる
5. 推論3と推論4から、推論5: "このクラブマン・シリーズは崩す"が導かれる
6. 推論5と事実9から、推論6: "その御宿は仕舞う"が導かれる
7. 推論6から、推論7: "その御宿は物憂いかまたは仕舞うかどちらもである"が導かれる
8. 推論7と事実3から、仮説が否定される

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