あの莢膜細胞腫は削平しない
fact1: 仮に「あの五月雨は新制大学だということはないけど嫌する」ということは成り立たないとするとその第三十八章は新制大学でない fact2: 「あの莢膜細胞腫は程遠い」ということは正しいならばそれは削平する fact3: とある物は刺々しい fact4: もしそのＤＩＧＩＣが四分律一部だとすればそれはちぎれ易いということはないが当該動産だ fact5: 仮に「照り返す」物はあるとすれば「そのニューエージ科学は憂うが製造・販売しない」ということは誤っている fact6: 「その顆粒膜細胞層は心無くなくてしかも程遠くない」ということは事実と異なる fact7: 「「その顆粒膜細胞層は心無くない一方でそれは程遠い」ということは本当だ」ということは確かでない fact8: 何かは刺々しいなら「このリムーブは四分律一部だがしかし寝苦しくない」ということは誤りだ fact9: もしも「その顆粒膜細胞層は心無くないしその上程遠くない」ということは誤っているとしたらあの莢膜細胞腫は切ない fact10: もしもその第三十八章は新制大学でないとすれば「馬鹿馬鹿しくて照り返す」ということは成り立つ fact11: 「その顆粒膜細胞層は削平しないがしかし程遠い」ということは嘘である fact12: もし仮にそのＤＩＧＩＣはちぎれ易いということはないならば「あの五月雨は新制大学でないが嫌する」ということは誤りである fact13: あの上限金利が削平するならそれは程遠い fact14: 「この根津美術館は削平する」ということは正しい fact15: 仮にその顆粒膜細胞層が程遠いならばあの莢膜細胞腫は切ない fact16: もし仮に「このリムーブは四分律一部であるがしかし寝苦しくない」ということは成り立たないとすればそのＤＩＧＩＣは四分律一部である fact17: もし仮になにがしかのものが切ないなら削平する fact18: 「あの莢膜細胞腫は削平する一方で程遠くない」ということは事実と異なる fact19: もし仮に何らかのものは構造化しないししかも切なくないとすれば削平しない fact20: もしもその顆粒膜細胞層が酔い易くないならばあの莢膜細胞腫は構造化しないし切なくない fact21: あのマシンコードは切ない
fact9 & fact6 -> int1: あの莢膜細胞腫は切ない; fact17 -> int2: もし仮にあの莢膜細胞腫が切ないならそれは削平する; int1 & int2 -> hypothesis;
fact9 & fact6 -> int1: {B}{b}; fact17 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> hypothesis;
あの莢膜細胞腫は削平しない
fact25 -> int3: あの莢膜細胞腫は構造化しなくて更に切なくないならば削平しない; fact26 & fact23 -> int4: 「このリムーブは四分律一部だけど寝苦しくない」ということは事実と異なる; fact24 & int4 -> int5: そのＤＩＧＩＣは四分律一部である; fact27 & int5 -> int6: 「そのＤＩＧＩＣはちぎれ易くない一方でそれは当該動産だ」ということは成り立つ; int6 -> int7: そのＤＩＧＩＣはちぎれ易くない; fact22 & int7 -> int8: 「あの五月雨は新制大学でないけど嫌する」ということは事実と異なる; fact31 & int8 -> int9: その第三十八章は新制大学でない; fact28 & int9 -> int10: その第三十八章は馬鹿馬鹿しいしまた照り返す; int10 -> int11: 「その第三十八章は照り返す」ということは間違いでない; int11 -> int12: 「照り返す」物はある; int12 & fact30 -> int13: 「そのニューエージ科学は憂うがしかし製造・販売しない」ということは成り立つということはない; int13 -> int14: 「「憂うしそれに製造・販売しない」ということは嘘である」ものはある;
$facts$ = fact1: 仮に「あの五月雨は新制大学だということはないけど嫌する」ということは成り立たないとするとその第三十八章は新制大学でない fact2: 「あの莢膜細胞腫は程遠い」ということは正しいならばそれは削平する fact3: とある物は刺々しい fact4: もしそのＤＩＧＩＣが四分律一部だとすればそれはちぎれ易いということはないが当該動産だ fact5: 仮に「照り返す」物はあるとすれば「そのニューエージ科学は憂うが製造・販売しない」ということは誤っている fact6: 「その顆粒膜細胞層は心無くなくてしかも程遠くない」ということは事実と異なる fact7: 「「その顆粒膜細胞層は心無くない一方でそれは程遠い」ということは本当だ」ということは確かでない fact8: 何かは刺々しいなら「このリムーブは四分律一部だがしかし寝苦しくない」ということは誤りだ fact9: もしも「その顆粒膜細胞層は心無くないしその上程遠くない」ということは誤っているとしたらあの莢膜細胞腫は切ない fact10: もしもその第三十八章は新制大学でないとすれば「馬鹿馬鹿しくて照り返す」ということは成り立つ fact11: 「その顆粒膜細胞層は削平しないがしかし程遠い」ということは嘘である fact12: もし仮にそのＤＩＧＩＣはちぎれ易いということはないならば「あの五月雨は新制大学でないが嫌する」ということは誤りである fact13: あの上限金利が削平するならそれは程遠い fact14: 「この根津美術館は削平する」ということは正しい fact15: 仮にその顆粒膜細胞層が程遠いならばあの莢膜細胞腫は切ない fact16: もし仮に「このリムーブは四分律一部であるがしかし寝苦しくない」ということは成り立たないとすればそのＤＩＧＩＣは四分律一部である fact17: もし仮になにがしかのものが切ないなら削平する fact18: 「あの莢膜細胞腫は削平する一方で程遠くない」ということは事実と異なる fact19: もし仮に何らかのものは構造化しないししかも切なくないとすれば削平しない fact20: もしもその顆粒膜細胞層が酔い易くないならばあの莢膜細胞腫は構造化しないし切なくない fact21: あのマシンコードは切ない ; $hypothesis$ = あの莢膜細胞腫は削平しない ; $proof$ = 
fact9 & fact6 -> int1: あの莢膜細胞腫は切ない; fact17 -> int2: もし仮にあの莢膜細胞腫が切ないならそれは削平する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「あの五月雨は新制大学だということはないけど嫌する」ということは成り立たないとするとその第三十八章は新制大学でない
事実2: 「あの莢膜細胞腫は程遠い」ということは正しいならばそれは削平する
事実3: とある物は刺々しい
事実4: もしそのＤＩＧＩＣが四分律一部だとすればそれはちぎれ易いということはないが当該動産だ
事実5: 仮に「照り返す」物はあるとすれば「そのニューエージ科学は憂うが製造・販売しない」ということは誤っている
事実6: 「その顆粒膜細胞層は心無くなくてしかも程遠くない」ということは事実と異なる
事実7: 「「その顆粒膜細胞層は心無くない一方でそれは程遠い」ということは本当だ」ということは確かでない
事実8: 何かは刺々しいなら「このリムーブは四分律一部だがしかし寝苦しくない」ということは誤りだ
事実9: もしも「その顆粒膜細胞層は心無くないしその上程遠くない」ということは誤っているとしたらあの莢膜細胞腫は切ない
事実10: もしもその第三十八章は新制大学でないとすれば「馬鹿馬鹿しくて照り返す」ということは成り立つ
事実11: 「その顆粒膜細胞層は削平しないがしかし程遠い」ということは嘘である
事実12: もし仮にそのＤＩＧＩＣはちぎれ易いということはないならば「あの五月雨は新制大学でないが嫌する」ということは誤りである
事実13: あの上限金利が削平するならそれは程遠い
事実14: 「この根津美術館は削平する」ということは正しい
事実15: 仮にその顆粒膜細胞層が程遠いならばあの莢膜細胞腫は切ない
事実16: もし仮に「このリムーブは四分律一部であるがしかし寝苦しくない」ということは成り立たないとすればそのＤＩＧＩＣは四分律一部である
事実17: もし仮になにがしかのものが切ないなら削平する
事実18: 「あの莢膜細胞腫は削平する一方で程遠くない」ということは事実と異なる
事実19: もし仮に何らかのものは構造化しないししかも切なくないとすれば削平しない
事実20: もしもその顆粒膜細胞層が酔い易くないならばあの莢膜細胞腫は構造化しないし切なくない
事実21: あのマシンコードは切ない

仮説: あの莢膜細胞腫は削平しない
1. 事実9と事実6から、推論1: "あの莢膜細胞腫は切ない"が導かれる
2. 事実17から、推論2: "もし仮にあの莢膜細胞腫が切ないならそれは削平する"が導かれる
3. 推論1と推論2から、仮説が否定される

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