「あの角化細胞は重々しかない」ということは成り立つ
fact1: もし仮にこの祭典が付加であるがしかしそれが胸腔鏡手術だということはないとしたらあの角化細胞は胸腔鏡手術でない fact2: 仮に「この祭典は錆無いかあるいはそれは胸腔鏡手術でないか両方ともである」ということは成り立たないとしたら「あの角化細胞は付加である」ということは成り立つ fact3: もしとあるものは付加であるならば重々しい fact4: 「「希少野生動植物種だということはない」ということは確かである」物はある fact5: この祭典は錆無い fact6: この祭典は付加である fact7: もし「あの角化細胞は重々しいということはないかもしくは錆無くないかもしくは両方だ」ということは成り立たないならばあの祭典は付加である fact8: 「錆無くない」ものはある fact9: 説明し難くないものがあるとするとこの祭典は錆無い fact10: もし仮に「説明し難くない」物はあるなら「この祭典は錆無くないかそれは胸腔鏡手術であるということはないかもしくはどちらもだ」ということは間違いである fact11: あの中央アジア諸国は国交だということはない fact12: 何かは錆無くないとしたら「重々しいし加えて説明し難い」ということは成り立たない fact13: 仮に「なにかは重々しくておまけに説明し難い」ということは真実でないとすると「それは重々しかない」ということは真実だ fact14: 「「説明し難い」ということは事実である」ものはある fact15: あの角化細胞は錆無い fact16: 「この祭典は錆無くないかもしくは胸腔鏡手術だということはない」ということは偽ならあの角化細胞は付加だ fact17: もしなにがしかの物は胸腔鏡手術であるということはないとすれば「この祭典は重々しかないか錆無いということはない」ということは誤っている fact18: 「説明し難くない」ものはある
fact18 & fact10 -> int1: 「この祭典は錆無くないかまたはそれは胸腔鏡手術でないかあるいは両方ともだ」ということは確かでない; int1 & fact16 -> int2: あの角化細胞は付加だ; fact3 -> int3: あの角化細胞が付加ならば重々しい; int2 & int3 -> hypothesis;
fact18 & fact10 -> int1: ¬(¬{B}{a} v ¬{C}{a}); int1 & fact16 -> int2: {D}{b}; fact3 -> int3: {D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
あの角化細胞は重々しいということはない
fact23 -> int4: 仮に「あの角化細胞は重々しいしさらに説明し難い」ということは成り立たないとすればそれは重々しかない; fact21 -> int5: 仮にあの角化細胞は錆無くないとしたら「それは重々しいし説明し難い」ということは誤りだ; fact19 -> int6: 「国交でない」ものはある;
$facts$ = fact1: もし仮にこの祭典が付加であるがしかしそれが胸腔鏡手術だということはないとしたらあの角化細胞は胸腔鏡手術でない fact2: 仮に「この祭典は錆無いかあるいはそれは胸腔鏡手術でないか両方ともである」ということは成り立たないとしたら「あの角化細胞は付加である」ということは成り立つ fact3: もしとあるものは付加であるならば重々しい fact4: 「「希少野生動植物種だということはない」ということは確かである」物はある fact5: この祭典は錆無い fact6: この祭典は付加である fact7: もし「あの角化細胞は重々しいということはないかもしくは錆無くないかもしくは両方だ」ということは成り立たないならばあの祭典は付加である fact8: 「錆無くない」ものはある fact9: 説明し難くないものがあるとするとこの祭典は錆無い fact10: もし仮に「説明し難くない」物はあるなら「この祭典は錆無くないかそれは胸腔鏡手術であるということはないかもしくはどちらもだ」ということは間違いである fact11: あの中央アジア諸国は国交だということはない fact12: 何かは錆無くないとしたら「重々しいし加えて説明し難い」ということは成り立たない fact13: 仮に「なにかは重々しくておまけに説明し難い」ということは真実でないとすると「それは重々しかない」ということは真実だ fact14: 「「説明し難い」ということは事実である」ものはある fact15: あの角化細胞は錆無い fact16: 「この祭典は錆無くないかもしくは胸腔鏡手術だということはない」ということは偽ならあの角化細胞は付加だ fact17: もしなにがしかの物は胸腔鏡手術であるということはないとすれば「この祭典は重々しかないか錆無いということはない」ということは誤っている fact18: 「説明し難くない」ものはある ; $hypothesis$ = 「あの角化細胞は重々しかない」ということは成り立つ ; $proof$ = 
fact18 & fact10 -> int1: 「この祭典は錆無くないかまたはそれは胸腔鏡手術でないかあるいは両方ともだ」ということは確かでない; int1 & fact16 -> int2: あの角化細胞は付加だ; fact3 -> int3: あの角化細胞が付加ならば重々しい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの祭典が付加であるがしかしそれが胸腔鏡手術だということはないとしたらあの角化細胞は胸腔鏡手術でない
事実2: 仮に「この祭典は錆無いかあるいはそれは胸腔鏡手術でないか両方ともである」ということは成り立たないとしたら「あの角化細胞は付加である」ということは成り立つ
事実3: もしとあるものは付加であるならば重々しい
事実4: 「「希少野生動植物種だということはない」ということは確かである」物はある
事実5: この祭典は錆無い
事実6: この祭典は付加である
事実7: もし「あの角化細胞は重々しいということはないかもしくは錆無くないかもしくは両方だ」ということは成り立たないならばあの祭典は付加である
事実8: 「錆無くない」ものはある
事実9: 説明し難くないものがあるとするとこの祭典は錆無い
事実10: もし仮に「説明し難くない」物はあるなら「この祭典は錆無くないかそれは胸腔鏡手術であるということはないかもしくはどちらもだ」ということは間違いである
事実11: あの中央アジア諸国は国交だということはない
事実12: 何かは錆無くないとしたら「重々しいし加えて説明し難い」ということは成り立たない
事実13: 仮に「なにかは重々しくておまけに説明し難い」ということは真実でないとすると「それは重々しかない」ということは真実だ
事実14: 「「説明し難い」ということは事実である」ものはある
事実15: あの角化細胞は錆無い
事実16: 「この祭典は錆無くないかもしくは胸腔鏡手術だということはない」ということは偽ならあの角化細胞は付加だ
事実17: もしなにがしかの物は胸腔鏡手術であるということはないとすれば「この祭典は重々しかないか錆無いということはない」ということは誤っている
事実18: 「説明し難くない」ものはある

仮説: 「あの角化細胞は重々しかない」ということは成り立つ
1. 事実18と事実10から、推論1: "「この祭典は錆無くないかまたはそれは胸腔鏡手術でないかあるいは両方ともだ」ということは確かでない"が導かれる
2. 推論1と事実16から、推論2: "あの角化細胞は付加だ"が導かれる
3. 事実3から、推論3: "あの角化細胞が付加ならば重々しい"が導かれる
4. 推論2と推論3から、仮説が否定される

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