「あの粘液性嚢胞性腫瘍はセルフ方式でなくて新建物でない」ということは間違いだ
fact1: 「リビジョンだけど労働者人民でない」ものはある fact2: 「この造血はこじるけれどそれはセルフ方式であるということはない」ということは嘘だ fact3: もしこの茶席はセルフ方式でないとすれば「あの粘液性嚢胞性腫瘍はセルフ方式だけどこじらない」ということは嘘である fact4: 「聞き取り易いがセルフ方式でない」物はある fact5: 「この造血はセルフ方式でないがしかし新建物だ」ということは事実でない fact6: 「この茶席はこじる一方でセルフ方式でない」ということは偽である fact7: もし仮にこの造血はセルフ方式であるということはないなら「あの粘液性嚢胞性腫瘍はセルフ方式でないし新建物でない」ということは誤っている fact8: 「あの粘液性嚢胞性腫瘍はこじる一方で新建物でない」ということは事実と異なる fact9: 仮に「「聞き取り易いししかもセルフ方式でない」ということは誤りな」ものがあるとするとこの茶席はこじらない fact10: 仮に「この造血は生活し易くないけれどこじる」ということは確かであるとしたら「この茶席はこじらない」ということは事実である fact11: もし仮に「「重くない」ということは本当である」ものはあるとすると「「この茶席は聞き取り易い一方でそれはこじらない」ということは成り立つ」ということは間違っている fact12: 「この茶席は聞き取り易くないとすれば「あの粘液性嚢胞性腫瘍は聞き取り易くなくてセルフ方式でない」ということは間違いだ」ということは成り立つ fact13: 「「切り難いけれど受け入れ難いということはない」ということは事実と異なる」物はある fact14: 「「セルフ方式だがしかし新建物でない」ということは嘘である」物はある fact15: 仮にこの造血が虐げればそれは生活し易くない一方でこじる fact16: 「ドレナージである」ものはある fact17: 「「重くない」ということは真実な」ものはある fact18: もしあの粘液性嚢胞性腫瘍はこじらないとしたら「この茶席はこじるということはなくてセルフ方式でない」ということは間違いである fact19: もし仮に「セルフ方式でない」ものはあれば「この茶席はこじるがしかし聞き取り易くない」ということは嘘だ fact20: 「「この茶席は聞き取り易くて更にこじる」ということは成り立つ」ということは誤りだ fact21: 「みっとも可愛くない」物はある fact22: もし「「聞き取り易くてこじらない」ということは事実と異なる」物があるならこの造血はセルフ方式でない
fact17 & fact11 -> int1: 「「この茶席は聞き取り易いけれどこじらない」ということは真実だ」ということは間違っている; int1 -> int2: 「「聞き取り易いしこじらない」ということは真実でない」物はある; int2 & fact22 -> int3: この造血はセルフ方式でない; int3 & fact7 -> hypothesis;
あの粘液性嚢胞性腫瘍はセルフ方式でないしかつ新建物でない
$facts$ = fact1: 「リビジョンだけど労働者人民でない」ものはある fact2: 「この造血はこじるけれどそれはセルフ方式であるということはない」ということは嘘だ fact3: もしこの茶席はセルフ方式でないとすれば「あの粘液性嚢胞性腫瘍はセルフ方式だけどこじらない」ということは嘘である fact4: 「聞き取り易いがセルフ方式でない」物はある fact5: 「この造血はセルフ方式でないがしかし新建物だ」ということは事実でない fact6: 「この茶席はこじる一方でセルフ方式でない」ということは偽である fact7: もし仮にこの造血はセルフ方式であるということはないなら「あの粘液性嚢胞性腫瘍はセルフ方式でないし新建物でない」ということは誤っている fact8: 「あの粘液性嚢胞性腫瘍はこじる一方で新建物でない」ということは事実と異なる fact9: 仮に「「聞き取り易いししかもセルフ方式でない」ということは誤りな」ものがあるとするとこの茶席はこじらない fact10: 仮に「この造血は生活し易くないけれどこじる」ということは確かであるとしたら「この茶席はこじらない」ということは事実である fact11: もし仮に「「重くない」ということは本当である」ものはあるとすると「「この茶席は聞き取り易い一方でそれはこじらない」ということは成り立つ」ということは間違っている fact12: 「この茶席は聞き取り易くないとすれば「あの粘液性嚢胞性腫瘍は聞き取り易くなくてセルフ方式でない」ということは間違いだ」ということは成り立つ fact13: 「「切り難いけれど受け入れ難いということはない」ということは事実と異なる」物はある fact14: 「「セルフ方式だがしかし新建物でない」ということは嘘である」物はある fact15: 仮にこの造血が虐げればそれは生活し易くない一方でこじる fact16: 「ドレナージである」ものはある fact17: 「「重くない」ということは真実な」ものはある fact18: もしあの粘液性嚢胞性腫瘍はこじらないとしたら「この茶席はこじるということはなくてセルフ方式でない」ということは間違いである fact19: もし仮に「セルフ方式でない」ものはあれば「この茶席はこじるがしかし聞き取り易くない」ということは嘘だ fact20: 「「この茶席は聞き取り易くて更にこじる」ということは成り立つ」ということは誤りだ fact21: 「みっとも可愛くない」物はある fact22: もし「「聞き取り易くてこじらない」ということは事実と異なる」物があるならこの造血はセルフ方式でない ; $hypothesis$ = 「あの粘液性嚢胞性腫瘍はセルフ方式でなくて新建物でない」ということは間違いだ ; $proof$ = 
fact17 & fact11 -> int1: 「「この茶席は聞き取り易いけれどこじらない」ということは真実だ」ということは間違っている; int1 -> int2: 「「聞き取り易いしこじらない」ということは真実でない」物はある; int2 & fact22 -> int3: この造血はセルフ方式でない; int3 & fact7 -> hypothesis; __PROVED__
事実1: 「リビジョンだけど労働者人民でない」ものはある
事実2: 「この造血はこじるけれどそれはセルフ方式であるということはない」ということは嘘だ
事実3: もしこの茶席はセルフ方式でないとすれば「あの粘液性嚢胞性腫瘍はセルフ方式だけどこじらない」ということは嘘である
事実4: 「聞き取り易いがセルフ方式でない」物はある
事実5: 「この造血はセルフ方式でないがしかし新建物だ」ということは事実でない
事実6: 「この茶席はこじる一方でセルフ方式でない」ということは偽である
事実7: もし仮にこの造血はセルフ方式であるということはないなら「あの粘液性嚢胞性腫瘍はセルフ方式でないし新建物でない」ということは誤っている
事実8: 「あの粘液性嚢胞性腫瘍はこじる一方で新建物でない」ということは事実と異なる
事実9: 仮に「「聞き取り易いししかもセルフ方式でない」ということは誤りな」ものがあるとするとこの茶席はこじらない
事実10: 仮に「この造血は生活し易くないけれどこじる」ということは確かであるとしたら「この茶席はこじらない」ということは事実である
事実11: もし仮に「「重くない」ということは本当である」ものはあるとすると「「この茶席は聞き取り易い一方でそれはこじらない」ということは成り立つ」ということは間違っている
事実12: 「この茶席は聞き取り易くないとすれば「あの粘液性嚢胞性腫瘍は聞き取り易くなくてセルフ方式でない」ということは間違いだ」ということは成り立つ
事実13: 「「切り難いけれど受け入れ難いということはない」ということは事実と異なる」物はある
事実14: 「「セルフ方式だがしかし新建物でない」ということは嘘である」物はある
事実15: 仮にこの造血が虐げればそれは生活し易くない一方でこじる
事実16: 「ドレナージである」ものはある
事実17: 「「重くない」ということは真実な」ものはある
事実18: もしあの粘液性嚢胞性腫瘍はこじらないとしたら「この茶席はこじるということはなくてセルフ方式でない」ということは間違いである
事実19: もし仮に「セルフ方式でない」ものはあれば「この茶席はこじるがしかし聞き取り易くない」ということは嘘だ
事実20: 「「この茶席は聞き取り易くて更にこじる」ということは成り立つ」ということは誤りだ
事実21: 「みっとも可愛くない」物はある
事実22: もし「「聞き取り易くてこじらない」ということは事実と異なる」物があるならこの造血はセルフ方式でない

仮説: 「あの粘液性嚢胞性腫瘍はセルフ方式でなくて新建物でない」ということは間違いだ
1. 事実17と事実11から、推論1: "「「この茶席は聞き取り易いけれどこじらない」ということは真実だ」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「聞き取り易いしこじらない」ということは真実でない」物はある"が導かれる
3. 推論2と事実22から、推論3: "この造血はセルフ方式でない"が導かれる
4. 推論3と事実7から、仮説が導かれる

よって、仮説が証明されました。