あの改革路線は自然体験でない
fact1: 「あの改革路線は伸ばし易いということはないしそれに構文でない」ということは間違いだとすればその請求項は伸ばし易くない fact2: 伸ばし易くない物はめぼしくてさらに自然体験だ fact3: もし「なにがしかのものは構文であるということはない」ということは正しいならそれは伸ばし易いししかもめぼしいということはない fact4: あの改革路線は自然体験である
fact4 -> hypothesis;
「あの改革路線は自然体験でない」ということは事実だ
fact5 -> int1: 「仮に「あの交渉過程は構文でない」ということは成り立つとすればあの交渉過程は伸ばし易いがそれはめぼしくない」ということは成り立つ;
$facts$ = fact1: 「あの改革路線は伸ばし易いということはないしそれに構文でない」ということは間違いだとすればその請求項は伸ばし易くない fact2: 伸ばし易くない物はめぼしくてさらに自然体験だ fact3: もし「なにがしかのものは構文であるということはない」ということは正しいならそれは伸ばし易いししかもめぼしいということはない fact4: あの改革路線は自然体験である ; $hypothesis$ = あの改革路線は自然体験でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「あの改革路線は伸ばし易いということはないしそれに構文でない」ということは間違いだとすればその請求項は伸ばし易くない
事実2: 伸ばし易くない物はめぼしくてさらに自然体験だ
事実3: もし「なにがしかのものは構文であるということはない」ということは正しいならそれは伸ばし易いししかもめぼしいということはない
事実4: あの改革路線は自然体験である

仮説: あの改革路線は自然体験でない
1. 事実4から、仮説が否定される

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