その脊椎滑り症はばたばたする
fact1: その脊椎滑り症はばたばたしないか珍しいかまたは両方ともである fact2: あの楕円面は直射しないかもしくはそれはばたばたしない fact3: その下位項目は珍しい fact4: 仮にその下位項目が軽視出来ないかもしくはクライマックスでないかもしくは両方ともであるとするとあの楕円面は珍しかない fact5: その脊椎滑り症はばたばたしないかまたはクライマックスでないか両方だ fact6: あの楕円面は気弱いかもしくはそれは軽視出来ないかもしくは両方である fact7: 仮にその下位項目が気弱くないならばその効果有りは珍しいししかもクライマックスである fact8: あの楕円面が気弱いとするとばたばたする fact9: もし仮にとある物が珍しいならそれは軽視出来ない fact10: 仮になにがしかのものが三編みだということはないとすれば気弱くて軽視出来る fact11: その下位項目が珍しいとしたらそれはクライマックスである fact12: あの電話は気弱い fact13: あの楕円面は気弱くないかそれは軽視出来る fact14: もしその下位項目がクライマックスであるとしたらあの楕円面は気弱いということはないかもしくはそれは軽視出来ないかあるいはどちらもだ fact15: 仮にあの楕円面が軽視出来ればその下位項目は珍しいかあるいはクライマックスでない fact16: あの楕円面が気弱くないかまたは軽視出来ないかもしくは両方であるとするとその脊椎滑り症はばたばたしない fact17: もしも「その下位項目はクライマックスである」ということは成り立つとしたらあの楕円面は気弱くないか軽視出来るかあるいはどちらもである fact18: その下位項目がクライマックスだとするとあの楕円面は気弱いかもしくは軽視出来ないかもしくはどちらもである fact19: その下位項目が軽視出来るとするとその脊椎滑り症はクライマックスだ fact20: 「あるものはばたばたするし三編みだ」ということは誤っていればそれは気弱くない
fact11 & fact3 -> int1: その下位項目はクライマックスだ; int1 & fact14 -> int2: あの楕円面は気弱くないかもしくは軽視出来ない; int2 & fact16 -> hypothesis;
その効果有りは軽視出来ない
fact21 -> int3: その効果有りが珍しいならば軽視出来ない; fact22 -> int4: 仮に「その下位項目はばたばたするし三編みだ」ということは成り立たないとしたら気弱くない;
$facts$ = fact1: その脊椎滑り症はばたばたしないか珍しいかまたは両方ともである fact2: あの楕円面は直射しないかもしくはそれはばたばたしない fact3: その下位項目は珍しい fact4: 仮にその下位項目が軽視出来ないかもしくはクライマックスでないかもしくは両方ともであるとするとあの楕円面は珍しかない fact5: その脊椎滑り症はばたばたしないかまたはクライマックスでないか両方だ fact6: あの楕円面は気弱いかもしくはそれは軽視出来ないかもしくは両方である fact7: 仮にその下位項目が気弱くないならばその効果有りは珍しいししかもクライマックスである fact8: あの楕円面が気弱いとするとばたばたする fact9: もし仮にとある物が珍しいならそれは軽視出来ない fact10: 仮になにがしかのものが三編みだということはないとすれば気弱くて軽視出来る fact11: その下位項目が珍しいとしたらそれはクライマックスである fact12: あの電話は気弱い fact13: あの楕円面は気弱くないかそれは軽視出来る fact14: もしその下位項目がクライマックスであるとしたらあの楕円面は気弱いということはないかもしくはそれは軽視出来ないかあるいはどちらもだ fact15: 仮にあの楕円面が軽視出来ればその下位項目は珍しいかあるいはクライマックスでない fact16: あの楕円面が気弱くないかまたは軽視出来ないかもしくは両方であるとするとその脊椎滑り症はばたばたしない fact17: もしも「その下位項目はクライマックスである」ということは成り立つとしたらあの楕円面は気弱くないか軽視出来るかあるいはどちらもである fact18: その下位項目がクライマックスだとするとあの楕円面は気弱いかもしくは軽視出来ないかもしくはどちらもである fact19: その下位項目が軽視出来るとするとその脊椎滑り症はクライマックスだ fact20: 「あるものはばたばたするし三編みだ」ということは誤っていればそれは気弱くない ; $hypothesis$ = その脊椎滑り症はばたばたする ; $proof$ = 
fact11 & fact3 -> int1: その下位項目はクライマックスだ; int1 & fact14 -> int2: あの楕円面は気弱くないかもしくは軽視出来ない; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: その脊椎滑り症はばたばたしないか珍しいかまたは両方ともである
事実2: あの楕円面は直射しないかもしくはそれはばたばたしない
事実3: その下位項目は珍しい
事実4: 仮にその下位項目が軽視出来ないかもしくはクライマックスでないかもしくは両方ともであるとするとあの楕円面は珍しかない
事実5: その脊椎滑り症はばたばたしないかまたはクライマックスでないか両方だ
事実6: あの楕円面は気弱いかもしくはそれは軽視出来ないかもしくは両方である
事実7: 仮にその下位項目が気弱くないならばその効果有りは珍しいししかもクライマックスである
事実8: あの楕円面が気弱いとするとばたばたする
事実9: もし仮にとある物が珍しいならそれは軽視出来ない
事実10: 仮になにがしかのものが三編みだということはないとすれば気弱くて軽視出来る
事実11: その下位項目が珍しいとしたらそれはクライマックスである
事実12: あの電話は気弱い
事実13: あの楕円面は気弱くないかそれは軽視出来る
事実14: もしその下位項目がクライマックスであるとしたらあの楕円面は気弱いということはないかもしくはそれは軽視出来ないかあるいはどちらもだ
事実15: 仮にあの楕円面が軽視出来ればその下位項目は珍しいかあるいはクライマックスでない
事実16: あの楕円面が気弱くないかまたは軽視出来ないかもしくは両方であるとするとその脊椎滑り症はばたばたしない
事実17: もしも「その下位項目はクライマックスである」ということは成り立つとしたらあの楕円面は気弱くないか軽視出来るかあるいはどちらもである
事実18: その下位項目がクライマックスだとするとあの楕円面は気弱いかもしくは軽視出来ないかもしくはどちらもである
事実19: その下位項目が軽視出来るとするとその脊椎滑り症はクライマックスだ
事実20: 「あるものはばたばたするし三編みだ」ということは誤っていればそれは気弱くない

仮説: その脊椎滑り症はばたばたする
1. 事実11と事実3から、推論1: "その下位項目はクライマックスだ"が導かれる
2. 推論1と事実14から、推論2: "あの楕円面は気弱くないかもしくは軽視出来ない"が導かれる
3. 推論2と事実16から、仮説が否定される

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