「「もしも小脳系でないがしかし画面解像度だとしたら「臣従する」ということは成り立つ」物はある」ということは誤っている
fact1: もし仮にその足形が小脳系だし更に画面解像度ならば臣従する fact2: もしなんらかの物が経済論でないがそれは三相変圧器であるとすれば局在する fact3: 「もしも小脳系だしおまけに画面解像度だとしたら「臣従する」ということは成り立つ」物はある fact4: 「仮に満遍無くないがしかし思すなら床しい」物はある fact5: もし何らかの物が釣り込まないが上級将校であるなら押し黙る fact6: もしもなんらかのものは小脳系でないが画面解像度ならばそれは臣従する fact7: 小脳系は画面解像度であるとすればそれは臣従する
fact6 -> int1: もし仮にその足形は小脳系でないがしかし画面解像度ならば臣従する; int1 -> hypothesis;
$facts$ = fact1: もし仮にその足形が小脳系だし更に画面解像度ならば臣従する fact2: もしなんらかの物が経済論でないがそれは三相変圧器であるとすれば局在する fact3: 「もしも小脳系だしおまけに画面解像度だとしたら「臣従する」ということは成り立つ」物はある fact4: 「仮に満遍無くないがしかし思すなら床しい」物はある fact5: もし何らかの物が釣り込まないが上級将校であるなら押し黙る fact6: もしもなんらかのものは小脳系でないが画面解像度ならばそれは臣従する fact7: 小脳系は画面解像度であるとすればそれは臣従する ; $hypothesis$ = 「「もしも小脳系でないがしかし画面解像度だとしたら「臣従する」ということは成り立つ」物はある」ということは誤っている ; $proof$ = 
fact6 -> int1: もし仮にその足形は小脳系でないがしかし画面解像度ならば臣従する; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にその足形が小脳系だし更に画面解像度ならば臣従する
事実2: もしなんらかの物が経済論でないがそれは三相変圧器であるとすれば局在する
事実3: 「もしも小脳系だしおまけに画面解像度だとしたら「臣従する」ということは成り立つ」物はある
事実4: 「仮に満遍無くないがしかし思すなら床しい」物はある
事実5: もし何らかの物が釣り込まないが上級将校であるなら押し黙る
事実6: もしもなんらかのものは小脳系でないが画面解像度ならばそれは臣従する
事実7: 小脳系は画面解像度であるとすればそれは臣従する

仮説: 「「もしも小脳系でないがしかし画面解像度だとしたら「臣従する」ということは成り立つ」物はある」ということは誤っている
1. 事実6から、推論1: "もし仮にその足形は小脳系でないがしかし画面解像度ならば臣従する"が導かれる
2. 推論1から、仮説が否定される

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