あのコーヒー店は極左でない
fact1: その腟部は移動し易くない fact2: 仮にその腟部が御戻りに成るかまたは移動し易いということはないとするとあのコーヒー店は極左だ fact3: もしも何かは御戻りに成るとすると頼り無いかもしくはネット・キャッシュインフローであるということはないかまたはどちらもである
fact1 -> int1: その腟部は御戻りに成るかまたは移動し易くないかあるいは両方ともだ; int1 & fact2 -> hypothesis;
あの白手袋は頼り無いかネット・キャッシュインフローであるということはない
fact4 -> int2: もしも「あの白手袋は御戻りに成る」ということは成り立つとすると頼り無いかもしくはそれはネット・キャッシュインフローでない;
$facts$ = fact1: その腟部は移動し易くない fact2: 仮にその腟部が御戻りに成るかまたは移動し易いということはないとするとあのコーヒー店は極左だ fact3: もしも何かは御戻りに成るとすると頼り無いかもしくはネット・キャッシュインフローであるということはないかまたはどちらもである ; $hypothesis$ = あのコーヒー店は極左でない ; $proof$ = 
fact1 -> int1: その腟部は御戻りに成るかまたは移動し易くないかあるいは両方ともだ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その腟部は移動し易くない
事実2: 仮にその腟部が御戻りに成るかまたは移動し易いということはないとするとあのコーヒー店は極左だ
事実3: もしも何かは御戻りに成るとすると頼り無いかもしくはネット・キャッシュインフローであるということはないかまたはどちらもである

仮説: あのコーヒー店は極左でない
1. 事実1から、推論1: "その腟部は御戻りに成るかまたは移動し易くないかあるいは両方ともだ"が導かれる
2. 推論1と事実2から、仮説が否定される

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