「その定量評価は平均チェック率である」ということは成り立つ
fact1: もし仮に「「痴呆性高齢者グループホームだ」ということは成り立つ」物があるとしたらあの皇太子様は痴呆性高齢者グループホームであるかもしくはそれは平均チェック率であるかどちらもだ fact2: その上場後は平均チェック率でないけれど痴呆性高齢者グループホームである fact3: もしもある物は保護膜でないならばそれは統合出来ないしかつ実現し易くない fact4: 仮にその傘下が被害救済委員会でないならこの初冬はツアーコンダクターでない fact5: この初冬がツアーコンダクターでないとしたらあの二十四色は痴呆性高齢者グループホームであるしかつゆらゆらする fact6: もし仮に「ゆらゆらするということはない一方で痴呆性高齢者グループホームである」ものがあるとすればその定量評価は平均チェック率でない fact7: 「何らかのものは痴呆性高齢者グループホームでない一方で平均チェック率である」ということは成り立つ fact8: もしも何かは統合出来なくてまた実現し易くないならば「その傘下は被害救済委員会でない」ということは成り立つ fact9: その上場後はゆらゆらしないけれど痴呆性高齢者グループホームである fact10: この鼓吹は保護膜だということはないが自動入力する
fact9 -> int1: とあるものはゆらゆらしない一方で痴呆性高齢者グループホームだ; int1 & fact6 -> hypothesis;
fact9 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact6 -> hypothesis;
その定量評価は平均チェック率である
fact16 -> int2: もしもこの鼓吹が保護膜でないとすると統合出来なくてまた実現し易くない; fact15 -> int3: この鼓吹は保護膜でない; int2 & int3 -> int4: この鼓吹は統合出来るということはないし加えて実現し易くない; int4 -> int5: なにかは統合出来ないしかつ実現し易くない; int5 & fact14 -> int6: その傘下は被害救済委員会でない; fact13 & int6 -> int7: この初冬はツアーコンダクターでない; fact12 & int7 -> int8: あの二十四色が痴呆性高齢者グループホームだしさらにそれはゆらゆらする; int8 -> int9: あの二十四色は痴呆性高齢者グループホームだ; int9 -> int10: なにがしかの物は痴呆性高齢者グループホームだ; int10 & fact11 -> int11: あの皇太子様は痴呆性高齢者グループホームであるかまたはそれは平均チェック率であるかまたは両方ともである;
$facts$ = fact1: もし仮に「「痴呆性高齢者グループホームだ」ということは成り立つ」物があるとしたらあの皇太子様は痴呆性高齢者グループホームであるかもしくはそれは平均チェック率であるかどちらもだ fact2: その上場後は平均チェック率でないけれど痴呆性高齢者グループホームである fact3: もしもある物は保護膜でないならばそれは統合出来ないしかつ実現し易くない fact4: 仮にその傘下が被害救済委員会でないならこの初冬はツアーコンダクターでない fact5: この初冬がツアーコンダクターでないとしたらあの二十四色は痴呆性高齢者グループホームであるしかつゆらゆらする fact6: もし仮に「ゆらゆらするということはない一方で痴呆性高齢者グループホームである」ものがあるとすればその定量評価は平均チェック率でない fact7: 「何らかのものは痴呆性高齢者グループホームでない一方で平均チェック率である」ということは成り立つ fact8: もしも何かは統合出来なくてまた実現し易くないならば「その傘下は被害救済委員会でない」ということは成り立つ fact9: その上場後はゆらゆらしないけれど痴呆性高齢者グループホームである fact10: この鼓吹は保護膜だということはないが自動入力する ; $hypothesis$ = 「その定量評価は平均チェック率である」ということは成り立つ ; $proof$ = 
fact9 -> int1: とあるものはゆらゆらしない一方で痴呆性高齢者グループホームだ; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮に「「痴呆性高齢者グループホームだ」ということは成り立つ」物があるとしたらあの皇太子様は痴呆性高齢者グループホームであるかもしくはそれは平均チェック率であるかどちらもだ
事実2: その上場後は平均チェック率でないけれど痴呆性高齢者グループホームである
事実3: もしもある物は保護膜でないならばそれは統合出来ないしかつ実現し易くない
事実4: 仮にその傘下が被害救済委員会でないならこの初冬はツアーコンダクターでない
事実5: この初冬がツアーコンダクターでないとしたらあの二十四色は痴呆性高齢者グループホームであるしかつゆらゆらする
事実6: もし仮に「ゆらゆらするということはない一方で痴呆性高齢者グループホームである」ものがあるとすればその定量評価は平均チェック率でない
事実7: 「何らかのものは痴呆性高齢者グループホームでない一方で平均チェック率である」ということは成り立つ
事実8: もしも何かは統合出来なくてまた実現し易くないならば「その傘下は被害救済委員会でない」ということは成り立つ
事実9: その上場後はゆらゆらしないけれど痴呆性高齢者グループホームである
事実10: この鼓吹は保護膜だということはないが自動入力する

仮説: 「その定量評価は平均チェック率である」ということは成り立つ
1. 事実9から、推論1: "とあるものはゆらゆらしない一方で痴呆性高齢者グループホームだ"が導かれる
2. 推論1と事実6から、仮説が否定される

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