あのパンフレットは退色しない
fact1: 「その入部はプロテオミクス解析であるかまたは退色するということはない」ということは誤っているとするとあのパンフレットは退色しない fact2: もしもその非西欧は付けしないとしたら「それはぎごちなくて移り易い」ということは本当でない fact3: どれもこれもはフィルム・シートでないしまた元請けでない fact4: 移り易くない物は口唇期去勢であるかフィルム・シートだ fact5: 仮に遜色無くない物が平均挿入時間ならばその非西欧は付けしない fact6: もし仮にその入部が御身分であるとしたらその非西欧はしどけなくない fact7: その入部はプロテオミクス解析である fact8: その非西欧はプロテオミクス解析であるとしたら「その入部はしどけない一方で御身分でない」ということは事実と異なる fact9: 「「遜色無いということはないしまた平均挿入時間だ」ということは正しい」ものはある fact10: その入部は退色しない fact11: もし仮にプロテオミクス解析が御身分だとしたら退色しない fact12: もし仮になにがしかのものがフィルム・シートだとすればそれは元請けだ fact13: もし仮に「なにがしかのものはぎごちなくて移り易い」ということは成り立たないならばそれは移り易くない fact14: もし仮にその入部がプロテオミクス解析だとすれば御身分である fact15: 「あのパンフレットが貪食でないとするとその非西欧は退色するしそれはプロテオミクス解析だ」ということは正しい fact16: 元請けは貪食でないししどけなくない fact17: もしもその非西欧がしどけなくないとするとあのパンフレットは退色する fact18: もし仮になにかは貪食だということはないし更にしどけなくないとすればそれは御身分であるということはない fact19: 「フィルム・シートでない」物はある
fact14 & fact7 -> int1: 「その入部は御身分である」ということは成り立つ; int1 & fact6 -> int2: その非西欧はしどけないということはない; int2 & fact17 -> hypothesis;
fact14 & fact7 -> int1: {B}{a}; int1 & fact6 -> int2: ¬{C}{b}; int2 & fact17 -> hypothesis;
このＥＸＥは御身分である
fact21 -> int3: この武蔵自身はフィルム・シートでないしそれに元請けでない; int3 -> int4: なんらかのものはフィルム・シートでないし加えて元請けでない;
$facts$ = fact1: 「その入部はプロテオミクス解析であるかまたは退色するということはない」ということは誤っているとするとあのパンフレットは退色しない fact2: もしもその非西欧は付けしないとしたら「それはぎごちなくて移り易い」ということは本当でない fact3: どれもこれもはフィルム・シートでないしまた元請けでない fact4: 移り易くない物は口唇期去勢であるかフィルム・シートだ fact5: 仮に遜色無くない物が平均挿入時間ならばその非西欧は付けしない fact6: もし仮にその入部が御身分であるとしたらその非西欧はしどけなくない fact7: その入部はプロテオミクス解析である fact8: その非西欧はプロテオミクス解析であるとしたら「その入部はしどけない一方で御身分でない」ということは事実と異なる fact9: 「「遜色無いということはないしまた平均挿入時間だ」ということは正しい」ものはある fact10: その入部は退色しない fact11: もし仮にプロテオミクス解析が御身分だとしたら退色しない fact12: もし仮になにがしかのものがフィルム・シートだとすればそれは元請けだ fact13: もし仮に「なにがしかのものはぎごちなくて移り易い」ということは成り立たないならばそれは移り易くない fact14: もし仮にその入部がプロテオミクス解析だとすれば御身分である fact15: 「あのパンフレットが貪食でないとするとその非西欧は退色するしそれはプロテオミクス解析だ」ということは正しい fact16: 元請けは貪食でないししどけなくない fact17: もしもその非西欧がしどけなくないとするとあのパンフレットは退色する fact18: もし仮になにかは貪食だということはないし更にしどけなくないとすればそれは御身分であるということはない fact19: 「フィルム・シートでない」物はある ; $hypothesis$ = あのパンフレットは退色しない ; $proof$ = 
fact14 & fact7 -> int1: 「その入部は御身分である」ということは成り立つ; int1 & fact6 -> int2: その非西欧はしどけないということはない; int2 & fact17 -> hypothesis; __DISPROVED__
事実1: 「その入部はプロテオミクス解析であるかまたは退色するということはない」ということは誤っているとするとあのパンフレットは退色しない
事実2: もしもその非西欧は付けしないとしたら「それはぎごちなくて移り易い」ということは本当でない
事実3: どれもこれもはフィルム・シートでないしまた元請けでない
事実4: 移り易くない物は口唇期去勢であるかフィルム・シートだ
事実5: 仮に遜色無くない物が平均挿入時間ならばその非西欧は付けしない
事実6: もし仮にその入部が御身分であるとしたらその非西欧はしどけなくない
事実7: その入部はプロテオミクス解析である
事実8: その非西欧はプロテオミクス解析であるとしたら「その入部はしどけない一方で御身分でない」ということは事実と異なる
事実9: 「「遜色無いということはないしまた平均挿入時間だ」ということは正しい」ものはある
事実10: その入部は退色しない
事実11: もし仮にプロテオミクス解析が御身分だとしたら退色しない
事実12: もし仮になにがしかのものがフィルム・シートだとすればそれは元請けだ
事実13: もし仮に「なにがしかのものはぎごちなくて移り易い」ということは成り立たないならばそれは移り易くない
事実14: もし仮にその入部がプロテオミクス解析だとすれば御身分である
事実15: 「あのパンフレットが貪食でないとするとその非西欧は退色するしそれはプロテオミクス解析だ」ということは正しい
事実16: 元請けは貪食でないししどけなくない
事実17: もしもその非西欧がしどけなくないとするとあのパンフレットは退色する
事実18: もし仮になにかは貪食だということはないし更にしどけなくないとすればそれは御身分であるということはない
事実19: 「フィルム・シートでない」物はある

仮説: あのパンフレットは退色しない
1. 事実14と事実7から、推論1: "「その入部は御身分である」ということは成り立つ"が導かれる
2. 推論1と事実6から、推論2: "その非西欧はしどけないということはない"が導かれる
3. 推論2と事実17から、仮説が否定される

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